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

DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 17. - 23. okt.

Vores kunder siger:

Tilføj til din iMusic ønskeseddel

eller

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

314 pages, biography

Medie	Bøger Paperback Bog (Bog med blødt omslag og limet ryg)
Udgivet	6. september 2000
ISBN13	9783540410553
Forlag	Springer-Verlag Berlin and Heidelberg Gm
Antal sider	314
Mål	156 × 234 × 17 mm · 752 g
Sprog	Tysk
Klipper/redaktør	Joseph, Mathai

Vis alle