Miláčik čitateľov je práve vypredaný
Parametre
- 530 stránok
- 19 hodin čítania
Nákup knihy
Temporal Verification of Reactive Systems, Kolektív autorov
- Jazyk
- Rok vydania
- 1995
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
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
- Náučná literatúra, Technológie & Priemysel, Príručky a návody, Počítače & Internet, Knihy, Logika, Vývoj softvéru, Algoritmy
- Hodnotenie
- 4,5 z 5