Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Mittwoch, 22. Mai 2024: Die Deutsche Nationalbibliothek in Leipzig ist wegen eines Betriebsausflug geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 18 Uhr geöffnet. // Wednesday, 22 May 2024: The German National Library in Leipzig will be closed due to a staff outing. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: auRef=131785931

Zurück zur Trefferliste


Treffer 10 von 10 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1253014035
Titel Interactive verification of UML state machines / Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
Person(en) Balser, Michael (Verfasser)
Bäumler, Simon (Verfasser)
Knapp, Alexander (Verfasser)
Reif, Wolfgang (Verfasser)
Thums, Andreas (Verfasser)
Verlag Augsburg : Universität Augsburg - Berlin : Springer
Zeitliche Einordnung Erscheinungsdatum: 2004
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:bvb:384-opus4-447691
DOI: 10.1007/978-3-540-30482-1_36
URL https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44769 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen In: Lecture Notes in Computer Science, 3308, S. 434-448
DDC-Notation 004.01 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 10 von 10
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration