Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending aan op alles gedurende de hele maand januari.
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending aan op alles gedurende de hele maand januari.
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België
- Ruim aanbod met 7 miljoen producten
Abstract State Machines
A Method for High-Level System Design and Analysis
Egon Börger, Robert Stärk
Hardcover | Engels
€ 52,95
+ 105 punten
Uitvoering
Omschrijving
Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with the three stumbling-blocks of building modern software based systems: size, complexity and trustworthiness. It covers within a single conceptual framework both design, verification by reasoning techniques, and experimental validation by simulation and testing. The text contains detailed proofs, exercises, as well as numerous real-world examples and case studies.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 438
- Taal:
- Engels
Eigenschappen
- Productcode (EAN):
- 9783540007029
- Verschijningsdatum:
- 23/04/2003
- Uitvoering:
- Hardcover
- Formaat:
- Genaaid
- Afmetingen:
- 156 mm x 245 mm
- Gewicht:
- 793 g
Alleen bij Standaard Boekhandel
+ 105 punten op je klantenkaart van Standaard Boekhandel
SOLDEN
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.