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

Pris

$ 55,99

Bestillingsvarer

Forventes levert 4. - 12. nov

Julegaver kan byttes frem til 31. januar

Kundene våre sier:

Legg til iMusic ønskeliste

eller

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

314 pages, biography

Media	Bøker Pocketbok (Bok med mykt omslag og limt rygg)
Utgitt	6. september 2000
ISBN13	9783540410553
Utgivere	Springer-Verlag Berlin and Heidelberg Gm
Antall sider	314
Mål	156 × 234 × 17 mm · 752 g
Språk	Tysk
Redaktør	Joseph, Mathai

Vis alle