Cantitate/Preț
Produs

Communicating Embedded Systems

Editat de Claude Jard, Olivier H Roux
en Limba Engleză Hardback – dec 2009
Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.
Citește tot Restrânge

Preț: 72116 lei

Preț vechi: 130250 lei
-45%

Puncte Express: 1082

Preț estimativ în valută:
12767 14866$ 11091£

Carte indisponibilă temporar

Doresc să fiu notificat când acest titlu va fi disponibil:

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781848211438
ISBN-10: 1848211430
Pagini: 288
Dimensiuni: 157 x 234 x 20 mm
Greutate: 0.54 kg
Editura: Wiley
Locul publicării:Hoboken, United States

Notă biografică

Claude Jard is full professor at ENS Cachan Campus of Ker-Lann. His research works relate to the formal analysis of asynchronous parallel systems.
Olivier H. Roux is an Assistant Professor at Nantes University and his research focusses on validation and verification of embedded systems, real-time and hybrid systems.