Pastāsti draugiem par šo preci:
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
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
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 visuVairāk no tā paša izdevēja
Skatīt visus Mathai Joseph ( piem., Paperback Book )