Reactive Systems: Modelling, Specification and Verification
![]() | hardback Kategorie: Programovací a skriptovací jazyky: Všeobecné Kategorie: Softwarové inženýrství Kategorie: Matematická teorie počítání Kategorie: Kybernetika a teorie systémů Naše cena: 89.56 EUR (cca 2196 Kč) (cena aktualizována 03.04.2026) Doprava zdarma do České republiky a na Slovensko více Komentáře čtenářů a knižní recenze: Amazon |



















