Paulson, Lawrence C. - Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 828, Band 828)

Brand : Springer, Binding : Taschenbuch, Edition : 1994, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Taschenbuch, numberOfPages : 344, publicationDate : 1994-09-09, authors : Paulson, Lawrence C., ISBN : 3540582444 ...