EUR 53,86
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 52,68
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 60,16
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 56,41
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
EUR 58,21
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
EUR 83,91
Quantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Isabelle: A Generic Theorem Prover. Book.
Edité par Springer Berlin Heidelberg, 1994
ISBN 10 : 3540582444 ISBN 13 : 9783540582441
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle documentation. It begins by outlining theoretical aspects and then demonstrates the use in practice. Virtually all Isabelle functions are described, with advice on correct usage and numerous examples. Isabelle's built-in logics are also described in detail. There is a comprehensive bebliography and index. The book addresses prospective users of Isabelle as well as researchers in logic and automated reasoning.
EUR 50,35
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Isabelle | A Generic Theorem Prover | Lawrence C. Paulson | Taschenbuch | xix | Englisch | 1994 | Springer | EAN 9783540582441 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 118,07
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
EUR 108,64
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
EUR 139,08
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.