Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Noch nicht die passende Literatur gefunden? → Book a Librarian

Ergebnis der Suche nach: auRef=130467731
im Bestand: Gesamter Bestand

1 - 8 von 8

	1	Declassification of information with complex filter functions Stenzel, Kurt. - Augsburg : Universität Augsburg, 2016
	2	A Refinement Method for Java Programs Grandy, Holger. - Augsburg : Universität Augsburg, 2006
	3	Reasoning about Pointer Structures in Java Stenzel, Kurt. - Augsburg : Universität Augsburg, 2006
	4	Verification of Java card programs Stenzel, Kurt, 2005
	5	Verification of Java card programs Stenzel, Kurt, 2005
	6	Verification of JavaCard programs Stenzel, Kurt. - Augsburg : Universität Augsburg, 2005
	7	A verified access control model Stenzel, Kurt. - Karlsruhe : Univ., Fak. für Informatik, 1993
	8	Reuse of proofs in software verification Reif, Wolfgang. - Karlsruhe : Univ., Fak. für Informatik, 1992

1 - 8 von 8

Alle Materialarten

Alle Kataloge/Sammlungen

Hochschulschriften (2)

Alle Standorte

Aktionen