Katalog Moravskoslezské vědecké knihovny v Ostravě

Úplné zobrazení záznamu

Toto je statický export z katalogu ze dne 25.02.2020. Zobrazit aktuální podobu v katalogu.

Formát Článek Hlavní záhlaví Alksnis, Gundars Název The Analysis of UML State Machine Formal Checking Methods / Gundars Alksnis EXEMPLÁŘE Zdroj.dokument Information Systems and Formal Models : 10th international conference on Information System Implementation and Modeling ISIM ’07 / [editors A. Kelemenová ... et al.]. -- Opava : Slezská univerzita, 2007. -- s. [131]-136. -- ISBN 978-80-7248-407-2 Předmět. kateg. analýza kontrola modelovací jazyky počítačové modelování státní správa UML Skupina Konspektu 004.4/.6 - Programování. Software MDT 004.4 Systém. číslo 000014913

© 2005-2020 Ex Libris, Moravskoslezská vědecká knihovna v Ostravě