Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Gren - Yassine Lakhnech - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540231677 - 2004. gada 20. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Yassine Lakhnech
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Gren 2004 edition

Cena
€ 53,49

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

Paredzamā piegāde . gada 19. - 27. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Yassine Lakhnech 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

Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail- safe fault tolerance, real-time scheduling, satisfiability checking, and even event recording automata.

402 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2004. gada 20. septembris
ISBN13 9783540231677
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 402
Izmēri 155 × 235 × 21 mm   ·   576 g
Valoda Vācu  
Redaktors Lakhnech, Yassine
Redaktors Yovine, Sergio

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

Skatīt visus Yassine Lakhnech