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: tit all "Specification of Modular Systems"
im Bestand: Gesamter Bestand

1 - 7 von 7
<< < > >>


Online Ressourcen 1 Modular Specification of Self-Adaptive Systems with Models at Runtime using Relational Reference Attribute Grammars
Schöne, René. - Dresden : Technische Universität Dresden, 2023
Online Ressource
Artikel 2 Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts
Enthalten in Formal methods in system design Bd. 21, Nr. 1, date:7.2002: 5-38
Online Ressource
Bücher 3 Modular and visual specification of hybrid systems
Grosu, Radu. - München : Inst. für Informatik, 1998
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 4 Behavioural specification and implemantation of modular software systems
Hennicker, Rolf. - Passau : Fak. für Mathematik und Informatik, Univ., 1992
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 5 Algebraic specification of modules and modular software systems within the framework of specification logics
Ehrig, Hartmut. - Berlin : Leiter d. Fachbibliothek Informatik, Sekretariat FR 5-4, Univ., 1989
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 6 Specification of modular systems
Weber, Herbert. - Dortmund : Abt. Informatik, Univ., 1985
Vorhanden in Leipzig Vorhanden in Frankfurt
Bücher 7 Development, specification and semantics of strictly modular systems
Ehrig, Hartmut. - Berlin : Techn. Univ., Fachbereich Informatik, 1983
Vorhanden in Leipzig Vorhanden in Frankfurt


1 - 7 von 7
<< < > >>


E-Mail-IconAdministration