Synopsis
Isabelle An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage. Full description
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Isabelle: A Generic Theorem Prover (Lecture Notes in...
Stock Image
Isabelle : A Generic Theorem Prover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 12142709-6