|
Real-Time Systems Formal Specification and Automatic Verification
|
| Auteur: Olderog, Ernst-Rudiger |
| ISBN: 9780521883337 |
|
| Prijs: € 120.35 |
| Uitgever: Cambridge University Press |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Hardback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Provably Correct Systems
|
| Auteur: Olderog, Ernst-Rudiger |
| ISBN: 9783319839806 |
| Prijs: € 134.09 |
| Uitgever: Springer International |
| Bericht: Tijdelijk niet leverbaar - levertijd onbekend |
| Verschijningsvorm: Paperback / softback |
|
|
|
Bestellen
Lees meer
|
|
|
Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, F
|
| Auteur: Olderog, Ernst-Rudiger |
| ISBN: 9783540441656 |
|
| Prijs: € 107.81 |
| Uitgever: Springer-Verlag Berlin and |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Provably Correct Systems
|
| Auteur: Olderog, Ernst-Rudiger |
| ISBN: 9783319486277 |
|
| Prijs: € 146.40 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Hardback |
|
|
|
|
|
Bestellen
Lees meer
|
|
nl
en