Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Materialarten:	Bücher

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

1 - 5 von 5

	1	Computer aided verification Berlin : Springer, 2002
	2	Lectures on formal methods and performance analysis Berlin : Springer, 2001
	3	Test automation and reactive systems Saarbrücken : Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes, 1998
	4	Tools and algorithms for the construction and analysis of systems Berlin : Springer, 1997
	5	Tools and algorithms for the construction and analysis of systems Berlin : Springer, 1995