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