science computer foundations verification

books:

The Foundations of Program Verification (Wiley-Teubner Series in Computer Science)
Jacques Loeckx

B. G. Teubner Gmbh, 1984

The Foundations of Program Verification Second Edition Jacques Loeckx and Kurt Sieber Fachbereich informatik Universitat des Saariandes, Saarbrucken, Germany In collaboration with Ryan D. Stansifer Department of Computer Science Cornell University, USA This revised edition provides a precise mathematical background to several program verification techniques. It concentrates on those verification methods that have now become classic, such as the ...

foundations

MCTS Self-Paced Training Kit (Exam 70-536): Microsoft .NET Framework ...
Foundation (Valdemar: Collegium Chronicles, Book 1)
Holy Bible: New American Standard Bible (NASB)
Enterprise Architecture As Strategy: Creating a Foundation for ...
A Course in Miracles

The Adobe Photoshop Lightroom 2 Book for Digital Photographers ...
The Last Lecture
The Digital Photography Book
The Complete User's Guide to the Amazing Amazon Kindle (Take ...
The iPhone Developer's Cookbook: Building Applications with the ...

Harry Potter and the Sorcerer's Stone
Left to Tell: Discovering God Amidst the Rwandan Holocaust
Rocket Boys (The Coalwood Series #1)
The Revolution: A Manifesto
Where the Wild Things Are

search for books
computer, foundations, science, verification, wiley-teubner

Impressum / about us