Deductive Software Verification - The KeY Book, Fachbücher von Peter H. Schmitt, Wolfgang Ahrendt, Reiner Hähnle, Mattia...

Deductive Software Verification: Future Perspectives, Fachbücher von Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, W...

Verification of Object-Oriented Software. The KeY Approach, Fachbücher von Bernhard Beckert, Reiner Hähnle, Peter H. Sch...

Deductive Software Verification - The Key Book From Theory To Practice

Software Verification, Fachbücher von Parasara Sridhar Duggirala, Peter Schrammel, Nadia Polikarpova, Maria Christakis

Extending KeY for the Verification of C Programs, Fachbücher

Von Eierschwammerlhöhen zur D. H. Lawrence-Ranch, Fachbücher von Peter K. Pabisch, Wolfgang Greisenegger

Key to the book of Job, Fachbücher von A. M. Stewart

The Software Industry, Fachbücher von Peter Buxmann, Thomas Heß, Heiner Diefenbach

The Adaptive Web, Fachbücher von Wolfgang Nejdl, Peter Brusilovsky, Alfred Kobsa

The Book of the East, Belletristik von Richard H. Stoddard

The Architecture of Scientific Software, Fachbücher von Ronald F. Boisvert, Ping Tak Peter Tang

The Grocers' Manual, Fachbücher von Peter H. Felker

The Book of the Bantams, Fachbücher von H. Hudson Stoddard

D. H. Lawrence in the Modern World, Fachbücher von Peter Preston, Peter Hoare

The Book of the East, Fachbücher von Richard Henry Stoddard