-(Lecture-Notes-in-Computer-Science,-828,-Band-828)-von-Paulson,-Lawrence-C-731733260.jpg "Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)")
Beschreibung
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)
Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828) von Paulson, Lawrence C. im Online-Buchhandel:
-(Lecture-Notes-in-Computer-Science,-828,-Band-828)-von-Paulson,-Lawrence-C-731671437.jpg "Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)")
-von-Lawrence-C.-Paulson-275443573.jpg "Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science)")
Bewerte das Buch
- Habe ich gelesen
- Möchte ich noch lesen
- Lieblingsbücher
- Wunschliste
Weitere Bücher von Paulson, Lawrence C.
-(Lecture-Notes-in-Computer-Science,-828,-Band-828)-von-Paulson,-Lawrence-C-731671437.jpg?w=800 "Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)")
-von-Lee,-James-726642389.jpg "Beginning Perl (Expert'S Voice In Open Source)")
-von-Thelin,-Johan-677418249.jpg "Foundations of Qt Development: Build sophisticated graphical applications using one of the world's most powerful mulit-platform toolkits! (Expert's Voice in Open Source)")
-von-Rohl,-J.-S-529493489.jpg "Recursion via Pascal 2ed (Cambridge Computer Science Texts, 19)")
-von-Thomas-Borth-Bruhns-72742683.jpg "Pädiatrische Kardiologie (German Edition)")
-von-Axel-Schoenknecht-78611685.jpg "Maritime Containerlogistik: Leistungsvergleich von Containerschiffen in intermodalen Transportketten (VDI-Buch)")
-von-Ingrid-Kollak-84273489.jpg "Schreib‘s auf! - Besser dokumentieren in Gesundheitsberufen (Top im Gesundheitsjob)")
-von-Battimelli-525956183.jpg "Computer Meets Theoretical Physics: The New Frontier of Molecular Simulation (The Frontiers Collection)")
