Formal Techniques in Real-time and Fault-tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - Procos, Lubeck, Germany, September 19 - 23, 1994, Proceedings (International Symposium Organized J - W P De Roever - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540584681 - 1994. gada 7. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

W P De Roever
Formal Techniques in Real-time and Fault-tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - Procos, Lubeck, Germany, September 19 - 23, 1994, Proceedings (International Symposium Organized J

Cena
€ 103,49

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

Paredzamā piegāde . gada 24. nov. - . gada 2. dec.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem W P De Roever 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

This volume describes how formal techniques constitute the foundation for the design of real-time, fault-tolerant and hybrid systems. It explores their use throughout the entire engineering process, from specification and design through coding and computation to the hardware itself.

787 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1994. gada 7. septembris
ISBN13 9783540584681
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 787
Izmēri 155 × 233 × 40 mm   ·   1,12 kg
Valoda Vācu  
Redaktors De Roever, Willem-paul
Redaktors Langmaack, Hans
Redaktors Vytopil, Jan

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

Skatīt visus W P De Roever