Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: "123063272"
im Bestand: Gesamter Bestand

1 - 8 von 8

	1	Methods for modelling software systems [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2007]
	2	Methods for modelling software systems (MMOSS) [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2007]
	3	Perspectives of model based testing [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], 2005
	4	Perspectives of model-based testing [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2005]
	5	Computer aided verification Berlin : Springer, 2002
	6	Lectures on formal methods and performance analysis Berlin : Springer, 2001
	7	Prozessalgebra, Teil 1 (Process Algebra, Part 1) Enthalten in Automatisierungstechnik Bd. 51, 2003, Nr. 8: A13-A16
	8	Prozessalgebra, Teil 2 (Process Algebra, Part 2) Enthalten in Automatisierungstechnik Bd. 51, 2003, Nr. 9: A17-A20

1 - 8 von 8