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

Hinta

$ 61,59

Tilattu etävarastosta

Arvioitu toimitus ke - to 12. - 20. marras

Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

Lisää iMusic-toivelistallesi

tai

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

314 pages, biography

Media	Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä	keskiviikko 6. syyskuuta 2000
ISBN13	9783540410553
Tuottaja	Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä	314
Mitta	156 × 234 × 17 mm · 752 g
Kieli	German
Toimittaja	Joseph, Mathai

Näytä kaikki