Katalog der Deutschen Nationalbibliothek

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

7851 - 7860 von 8380

	7851	Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
	7852	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	7853	Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
	7854	Verified proof carrying code Wildmoser, Martin, 2006
	7855	Verified proof carrying code Wildmoser, Martin, 2006
	7856	Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens Pulvermüller, Elke, 2006
	7857	Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
	7858	Verifying concurrent systems with symbolic execution Balser, Michael. - Aachen : Shaker, 2006
	7859	Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
	7860	Verlässlichkeit in Campusnetzen Reinecke, Christoph S.. - Berlin : Logos-Verl., 2006