Formal Techniques in Real-time and Fault Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings - Lecture Notes in Computer Science - Mathai Joseph - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540410553 - 2000. gada 6. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Formal Techniques in Real-time and Fault Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings - Lecture Notes in Computer Science

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 10. - 18. sept.
Saņemiet paziņojumus par jauniem Mathai Joseph izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.


314 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2000. gada 6. septembris
ISBN13 9783540410553
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 314
Izmēri 156 × 234 × 17 mm   ·   752 g
Valoda Vācu  
Redaktors Joseph, Mathai

Vairāk no Mathai Joseph

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Mathai Joseph ( piem., Paperback Book )