Formal Techniques in Real-time and Fault-tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (International Symposium, Uppsala, Sweden, September 9-13, 1996 - Proceedings) - Lecture Notes in Computer Science - Bengt Jonsson - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540616481 - 1996. gada 21. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Bengt Jonsson
Formal Techniques in Real-time and Fault-tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (International Symposium, Uppsala, Sweden, September 9-13, 1996 - Proceedings) - Lecture Notes in Computer Science

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 3. - 11. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Bengt Jonsson izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

These conference proceedings contain 22 revised full papers, three invited contributions and five tools demonstrations. The papers are organized into sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.

500 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1996. gada 21. augusts
ISBN13 9783540616481
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 500
Izmēri 156 × 234 × 25 mm   ·   693 g
Valoda Vācu  
Redaktors Jonsson, Bengt
Redaktors Parrow, Joachim

Vairāk no Bengt Jonsson

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Bengt Jonsson