-(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)")
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:
-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.
-von-Paulson,-Lawrence-C-746679706.jpg?w=800 "Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)")
-von-Coad,-Peter-749306017.jpg "Object-Oriented Design (Yourdon Press Computing Series)")
-744881677.jpg "Scrum Shortcuts without Cutting Corners: Agile Tactics, Tools & Tips (Addison-Wesley Signature)")
-von-Pierce,-Benjamin-C-741519718.jpg "Types and Programming Languages (Mit Press)")