Miláčik čitateľov je práve vypredaný
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.
Tu nám chýba tvoja recenzia
- Titul
- Temporal Verification of Reactive Systems
- Podtitul
- Safety
- Jazyk
- anglicky
- Autori
- Kolektív autorov
- Vydavateľ
- Springer
- Rok vydania
- 1995
- Väzba
- pevná
- Počet strán
- 530
- ISBN10
- 0387944591
- ISBN13
- 9780387944593
- Série
- Štítky
- Príručky a návody, Logika, Vývoj softvéru, Algoritmy
- Hodnotenie
- 4,5 z 5


