De favoriet van de lezers is momenteel uitverkocht.
Parameters
- 530bladzijden
- 19 uur lezen
Een boek kopen
Temporal Verification of Reactive Systems, Auteurscollectief
- Taal
- Jaar van publicatie
- 1995
- product-detail.submit-box.info.binding
- (Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
We missen je recensie hier.
- Titel
- Temporal Verification of Reactive Systems
- Ondertitel
- Safety
- Taal
- Engels
- Auteurs
- Auteurscollectief
- Uitgever
- Springer
- Jaar van publicatie
- 1995
- Formaat
- Hardcover
- Aantal pagina's
- 530
- ISBN10
- 0387944591
- ISBN13
- 9780387944593
- Reeks
- Tags
- Non-fictie, Technologie & Industrie, Handleidingen en Gidsen, Computers & Internet, Boeken, Logica, Softwareontwikkeling, Algoritmen
- Beoordeling
- 4,5 van 5