cam a22 4 4500 528989235 CHVBK 20201017113534.0 m d cr |n |||||||| 180926s2006 maua sb 001 0beng d 0-7506-7949-2 (alk. paper) (SERSOL)ssj0000203965 (NEBIS)005831572 (WaSeSS)ssj0000203965 (OCoLC)162593821 CaPaEBR CaPaEBR WaSeSS QA76.76.D47 D78 2006eb 005.1/17 22 Drusinsky Doron Modeling and verification using UML statecharts [Elektronische Daten] a working guide to reactive system design, runtime monitoring, and execution-based model checking Doron Drusinsky Burlington, MA Newnes c2006 1 online resource (xii, 306 p.) ill Includes bibliographical references (p. 295-301) and index. Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. UML (Computer science) Formal methods (Computer science) Computer software Development FACHLICHE NACHSCHLAGEWERKE + FACHLEXIKA + HANDBÜCHER (DOKUMENTENTYP) ger (ETHUDK)000009236 ethudk SPEZIFIKATIONEN (SOFTWARE ENGINEERING) ger (ETHUDK)000013698 ethudk UML, UNIFIED MODELLING LANGUAGE (SOFTWARE ENGINEERING) ger (ETHUDK)000062538 ethudk VERIFIKATION (SOFTWARE ENGINEERING) ger (ETHUDK)000013750 ethudk u UML, UNIFIED MODELLING LANGUAGE (SOFTWARE ENGINEERING) ger 004*04*04*02*01*UML nebis E1 u SPEZIFIKATIONEN (SOFTWARE ENGINEERING) ger 004*04*04*02 nebis E1 u VERIFIKATION (SOFTWARE ENGINEERING) ger 004*04*04*05 nebis E1 u FACHLICHE NACHSCHLAGEWERKE + FACHLEXIKA + HANDBÜCHER (DOKUMENTENTYP) ger (032) nebis E1 u UML, UNIFIED MODELLING LANGUAGE (GÉNIE LOGICIEL) fre 004*04*04*02*01*UML nebis E1 u UML, UNIFIED MODELLING LANGUAGE (SOFTWARE ENGINEERING) eng 004*04*04*02*01*UML nebis E1 u SPÉCIFICATIONS + CONCEPTS DE PROGRAMMATION (GÉNIE LOGICIEL) fre 004*04*04*02 nebis E1 u SPECIFICATIONS (SOFTWARE ENGINEERING) eng 004*04*04*02 nebis E1 u VÉRIFICATION (GÉNIE LOGICIEL) fre 004*04*04*05 nebis E1 u VERIFICATION (SOFTWARE ENGINEERING) eng 004*04*04*05 nebis E1 u OUVRAGES DE RÉFÉRENCE SPÉCIALISÉS + ENCYCLOPÉDIES SPÉCIALISÉES + MANUELS (TYPE DE DOCUMENT) fre (032) nebis E1 u SPECIALIZED REFERENCE WORKS + SPECIALIZED ENCYCLOPAEDIAS + HANDBOOKS (DOCUMENT TYPE) eng (032) nebis E1 ebrary, Inc. https://learning.oreilly.com/library/view/~/9780080481470/?ar Uni Basel: Volltext https://ebookcentral.proquest.com/lib/unibern/detail.action?docID=294269 Uni Bern: Volltext BK020053 XK020053 XK020000 O'Reilly Safari Learning Platform: Academic edition E-Books von 360MarcUpdates Ebook Central All Subscribed Titles EText nebis ED ETH-BIBElsevier-MARC nebis ER Elsevier2009 nebis ER noalma ids I 094 E01-20060606 NEBIS E01 E01 EL Online IDSBB A145 A145 145VT NELA1452007 IDSBB B405 B405 405VT NELB4051809 IDSBB 100 1- Drusinsky Doron IDSBB 710 2- ebrary, Inc IDSBB 856 40 https://learning.oreilly.com/library/view/~/9780080481470/?ar Uni Basel: Volltext IDSBB 856 40 https://ebookcentral.proquest.com/lib/unibern/detail.action?docID=294269 Uni Bern: Volltext NEBIS 700 1- Drusinsky Doron NEBIS 856 -- http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=book&isbn=9780750679497&rft.local_attribute=esd Online via SFX Volltext SWISSBIB 528989235