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

zł 223,90

Tilattu etävarastosta

Arvioitu toimitus ke 26. marras - to 4. joulu

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	Saksa
Toimittaja	Joseph, Mathai

Näytä kaikki