Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking

Saved in:

Bibliographic Details
Main Author	Drusinsky, Doron
Format	Book
Language	English
Published	Oxford : Newnes, 2006
Subjects	UML (Modelovací jazyk) modelovací jazyky software elektronické knihy
Online Access	Full text
ISBN	9780750679497 0750679492
Physical Description	xii, 306 s. : il. ; 24 cm.


LEADER	00000cam a2200000 a 4500
001	35180
003	CZ-ZlUTB
005	20251006165637.0
006	m-----o--d--------
007	cr-\|n-
008	060214s2006 mau \| eng
020			\|a 9780750679497
020			\|a 0750679492
040			\|a StDuBDS \|b cze \|c StDuBDS \|d ZLD002
072		7	\|a 004.4/.6 \|x Programování. Software \|2 Konspekt \|9 23
080			\|a 004 \|2 MRF
080			\|a 004.42UML \|2 MRF
100	1		\|a Drusinsky, Doron.
245	1	0	\|a Modeling and verification using UML statecharts \|h [elektronický zdroj] : \|b a working guide to reactive system design, runtime monitoring, and execution-based model checking / \|c Doron Drusinsky.
260			\|a Oxford : \|b Newnes, \|c 2006
300			\|a xii, 306 s. : \|b il. ; \|c 24 cm.
504			\|a Obsahuje bibliografii (s. 295-301) a rejstřík.
538			\|a Způsob přístupu: WWW
650	0	4	\|a UML (Modelovací jazyk)
650	0	7	\|a modelovací jazyky \|7 ph293205 \|2 czenas
650	0	7	\|a software \|7 ph125823 \|2 czenas
655		7	\|a elektronické knihy \|7 fd186907 \|2 czenas
856	4	1	\|u https://proxy.k.utb.cz/login?url=http://www.sciencedirect.com/science/book/9780750679497
910			\|a ZLD002
992			\|a ER \|c EBOOK-TN \|c ELSEVIER
999			\|c 35180 \|d 35180
993			\|x NEPOSILAT \|y EIZ

Similar Items