Communicating Embedded Systems Software and Design
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.
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
Meer op Athenaeum.nl over boeken
- Dagelijks een nieuwe recensie of leesfragment
- Regelmatig vertalers over hun werk
- Podcasts van interviews in de winkel
- Literair nieuws
- De agenda
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
