Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=005*
im Bestand: Gesamter Bestand

7471 - 7480 von 7878

	7471	Formal approaches to software testing and runtime verification Berlin : Springer, 2006
	7472	Formal methods Berlin : Springer, 2006
	7473	Formal methods and software engineering Berlin : Springer, 2006
	7474	Formal methods for components and objects Berlin : Springer, 2006
	7475	Formal techniques for networked and distributed systems Berlin : Springer, 2006
	7476	Formal verification of a processor with memory management units Dalinger, Iakov, 2006
	7477	Foundations of software technology and theoretical computer science Berlin : Springer, 2006
	7478	Fully-parameterized, first-class modules with hygienic macros Gasbichler, Josef Martin, 2006
	7479	Generative and transformational techniques in software engineering Berlin : Springer, 2006
	7480	Generierung interaktiver Lerneinheiten aus visuellen Spezifikationen Aschenbrenner, Peter, 2006