Communicating Embedded Systems

Communicating Embedded Systems Software and Design Claude Jard ; Olivier H. Roux

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.
€139,70

Deze titel is (nog) niet op voorraad.

Specificaties

ISBN
9781848211438
Uitgever
ISTE Ltd and John Wiley & Sons Inc
Druk
1e
Datum
06-11-2009
Taal
Engels
Bladzijden
274 pp.
Bindwijze
Hardcover
Genre
Wetenschap

Delen op

Meer op Athenaeum.nl over boeken

5 redenen om dit boek bij ons te kopen

  • Gratis verzending vanaf € 20,-
  • Advies per telefoon
  • Bestellen zonder registratie of login
  • Per fiets bezorgd, indien mogelijk
  • Vertrouwde service, veilige afhandeling

pro-mbooks1 : athenaeum