Výsledky vyhledávání
- Modeling in Event-B : system and software engineering / Jean-Raymond Abrial . Cambridge [u.a.] : Cambridge University Press, 2010 . xxvi, 586 s.
Umístění Volné Nedostupné/Prezenčně Vypůjčené Rezervace IN - Barilla Ing. 0 0/1 0 0 sklad D 1 0/0 0 0 IN - Fišer J. Mgr. 0 0/1 0 0