Bookbot

Temporal Verification of Reactive Systems

Safety

Autori

  • AA.VV.

Valutazione del libro

Acquisto del libro

Temporal Verification of Reactive Systems, AA.VV.

Lingua
Pubblicato
1995
product-detail.submit-box.info.binding
(Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

4,5
Molto buono
2 Valutazioni

Qui potrebbe esserci la tua recensione.

Titolo
Temporal Verification of Reactive Systems
Sottotitolo
Safety
Lingua
Inglese
Autori
AA.VV.
Editore
Springer
Pubblicato
1995
Formato
Copertina rigida
Pagine
530
ISBN10
0387944591
ISBN13
9780387944593
Serie
Valutazione
4,5 su 5