Bookbot
Miláčik čitateľov je práve vypredaný
Máte ju v knižnici?Získajte od 2,33 € do 3,11 € predajom tejto knihy.
Predať knihy

Temporal Verification of Reactive Systems

Safety

Autori

  • Kolektív autorov

Hodnotenie knihy

Nákup knihy

Temporal Verification of Reactive Systems, Kolektív autorov

Jazyk
Rok vydania
1995
Väzba
(pevná)
Akonáhle sa objaví, pošleme e-mail.

Doručenie

Platobné metódy

4,5
Veľmi dobrá
2 Hodnotenie

Tu nám chýba tvoja recenzia

Titul
Temporal Verification of Reactive Systems
Podtitul
Safety
Jazyk
anglicky
Vydavateľ
Springer
Rok vydania
1995
Väzba
pevná
Počet strán
530
ISBN10
0387944591
ISBN13
9780387944593
Série
Hodnotenie
4,5 z 5