Computer Aided Verification: 19th Inteational Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Hardcover: 562 pages
Publisher: Springer (July 2, 2007)
Language: English
ISBN-10: 3540733671
Buchführung 1 DATEV-Kontenrahmen 2024: Grundlagen der Buchführung für Industrie- und Handelsbetriebe (Bohofen Buchführung 1 LB)
Early English Periodicals and Early Modern Social Media
Mastering the Red Hat Certified Engineer (RHCE) Exam: Your complete guide to Linux administration, automation, and certification
Diverse Topics in Theoretical and Mathematical Physics
Wow! eBook