Model Checking Software: 14th Inteational SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Hardcover: 285 pages
Publisher: Springer (June 21, 2007)
Language: English
ISBN-10: 3540733698
Buchführung 1 DATEV-Kontenrahmen 2024: Grundlagen der Buchführung für Industrie- und Handelsbetriebe (Bohofen Buchführung 1 LB)
Mastering the Red Hat Certified Engineer (RHCE) Exam: Your complete guide to Linux administration, automation, and certification
Diverse Topics in Theoretical and Mathematical PhysicsLower Your Taxes - Big Time! 2007- (Lower Your T
Wow! eBook