Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Die Deutsche Nationalbibliothek in Frankfurt am Main ist an Fronleichnam, Donnerstag, 4. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Thursday, 4 June 2026 due to a public holiday (Fronleichnam).

Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.

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

1 - 10 von 15

	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	A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions Enthalten in Formal methods in system design Bd. 12, Nr. 2, date:3.1998: 189-216