Bookbot

Temporal Verification of Reactive Systems

Safety

Autori

  • AA.VV.

Acquisto del libro

Temporal Verification of Reactive Systems, AA.VV.

Lingua
Pubblicato
1995
product-detail.submit-box.info.binding
(Copertina rigida),
Condizioni del libro
In buone condizioni
Prezzo
22,49 €

Metodi di pagamento