Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

eingeschränkt auf
- Standorte:	Frankfurt

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

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

1 - 10 von 13

	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	Computer aided verification Berlin : Springer, 2002
	7	Lectures on formal methods and performance analysis Berlin : Springer, 2001
	8	Lectures on formal methods and performance analysis Berlin : Springer, 2001
	9	Test automation and reactive systems Saarbrücken : Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes, 1998
	10	Tools and algorithms for the construction and analysis of systems Berlin : Springer, 1997

1 - 10 von 13

Alle Materialarten

Alle Standorte > Frankfurt (13)

Aktionen