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=122199626
im Bestand: Gesamter Bestand

1 - 9 von 9
<< < > >>


Online Ressourcen 1 Interactive Verification of Statecharts
Thums, Andreas. - Augsburg : Universität Augsburg, 2007
Online Ressource
Online Ressourcen 2 Formale Methoden und Sicherheitsanalyse
Thums, Andreas. - Augsburg : Universität Augsburg, 2006
Online Ressource
Online Ressourcen 3 Integration formaler Spezifikation und Sicherheitsanalyse
Reif, Wolfgang. - Augsburg : Universität Augsburg, 2006
Online Ressource
Online Ressourcen 4 The Statemate Reference Model of the Reference Case Study 'Verkehrsleittechnik'
Klose, Jochen. - Augsburg : Universität Augsburg, 2006
Online Ressource
Online Ressourcen 5 [Fehlersuche in formalen Spezifikationen]
Reif, Wolfgang. - Ulm : Universität Ulm. Fakultät für Informatik, 2005
Online Ressource
Online Ressourcen 6 Formale Fehlerbaumanalyse
Thums, Andreas, 2004
Online Ressource
Bücher 7 Formale Fehlerbaumanalyse
Thums, Andreas, 2004
Vorhanden in Leipzig Vorhanden in Frankfurt
Online Ressourcen 8 Interactive verification of UML state machines
Balser, Michael. - Augsburg : Universität Augsburg, 2004
Online Ressource
Bücher 9 Fehlersuche in formalen Spezifikationen
Reif, Wolfgang. - Ulm : Univ., Fak. für Informatik, 2000
Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 9 von 9
<< < > >>


E-Mail-IconAdministration