Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: HPB-Red, Dallas, TX, U.S.A.
Book
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: California Books, Miami, FL, U.S.A.
Book
Condition: New.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer 2002-04, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer Berlin Heidelberg Apr 2002, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel s proof script notation instead of ML tactic scripts. The l- ter make it easier to introduce new tactics on the y, but hardly anybody does that. Wenzel s dedicated syntax is elegant, replacing for example eight simpli cation tactics with a single method, namely simp, with associated - tions. The book has three parts. The rst part, Elementary Techniques, shows how to model functional programs in higher-order logic. Early examples involve lists and the natural numbers. Most proofs are two steps long, consisting of induction on a chosen variable followed by the auto tactic. But even this elementary part covers such advanced topics as nested and mutual recursion. The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively. It also describes I- belle/HOL s treatment of sets, functions, and relations and explains how to de ne sets inductively. One of the examples concerns the theory of model checking, and another is drawn from a classic textbook on formal languages. 240 pp. Englisch.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: GoldenWavesOfBooks, Fayetteville, TX, U.S.A.
Book
Paperback. Condition: new. New. Fast Shipping and good customer service.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: Big Bill's Books, Wimberley, TX, U.S.A.
Book
Paperback. Condition: new. Brand New Copy.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New. Series: Lecture Notes in Computer Science. Num Pages: 226 pages, biography. BIC Classification: HPL; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 157 x 235 x 19. Weight in Grams: 370. . 2002. 2002nd Edition. Paperback. . . . .
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: Front Cover Books, Denver, CO, U.S.A.
Book
Condition: new.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: Wizard Books, Long Beach, CA, U.S.A.
Book
Paperback. Condition: new. New.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: GoldenDragon, Houston, TX, U.S.A.
Book
Paperback. Condition: new. Buy for Great customer experience.
Published by Springer Berlin Heidelberg, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel s proof script notation instead of ML tactic scripts. The l- ter make it easier to introduce new tactics on the y, but hardly anybody does that. Wenzel s dedicated syntax is elegant, replacing for example eight simpli cation tactics with a single method, namely simp, with associated - tions. The book has three parts. The rst part, Elementary Techniques, shows how to model functional programs in higher-order logic. Early examples involve lists and the natural numbers. Most proofs are two steps long, consisting of induction on a chosen variable followed by the auto tactic. But even this elementary part covers such advanced topics as nested and mutual recursion. The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively. It also describes I- belle/HOL s treatment of sets, functions, and relations and explains how to de ne sets inductively. One of the examples concerns the theory of model checking, and another is drawn from a classic textbook on formal languages.
Published by Springer Berlin Heidelberg, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefe.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New. Series: Lecture Notes in Computer Science. Num Pages: 226 pages, biography. BIC Classification: HPL; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 157 x 235 x 19. Weight in Grams: 370. . 2002. 2002nd Edition. Paperback. . . . . Books ship from the US and Ireland.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: GoldBooks, Denver, CO, U.S.A.
Book
Paperback. Condition: new. New Copy. Customer Service Guaranteed.
Published by Springer, 2002
ISBN 10: 3540433767ISBN 13: 9783540433767
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Book
Condition: New. New. In shrink wrap. Looks like an interesting title! 0.96.