Bookbot

Temporal Verification of Reactive Systems

Safety

Autorzy

  • kolektiv

Ocena książki

Zakup książki

Temporal Verification of Reactive Systems, kolektiv

Język
Rok wydania
1995
Oprawa
(twarda)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.

Metody płatności

4,5
Bardzo dobra
2 Ocena

Brakuje nam tutaj Twojej recenzji.

Tytuł
Temporal Verification of Reactive Systems
Podtytuł
Safety
Język
angielski
Autorzy
kolektiv
Wydawca
Springer
Rok wydania
1995
Oprawa
twarda
Liczba stron
530
ISBN10
0387944591
ISBN13
9780387944593
Seria
Ocena
4,5 z 5