Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Aktuell erscheint zeitweise die Meldung „Too Many Requests“. Wir arbeiten an einer Lösung. Wir bitten Sie die Störung zu entschuldigen.

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