Term Rewriting and All That
Franz Baader, Tobias Nipkow, Germany) Baader, Franz (Rheinisch-Westfalische Technische Hochschule, Aachen, Tobias (Technische Universitat Munchen) Nipkow, Baader Franz
Häftad
869 kr
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
Häftad, Engelska, 2002
759 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic, using the proof assistant Isabelle 2002. In contrast to existing Isabelle documentation, this book provides a direct route into higher-order logic by bypassing first-order logic and minimizing discussion of meta-theory.Isabelle is a generic system for implementing logical formalisms, and Isabelle/HOL is the specialization of Isabelle for higher-order logic; this theorem prover is well suited as a specification and verification system.
Produktinformation
- Utgivningsdatum2002-04-03
- Mått155 x 235 x 14 mm
- Vikt371 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor226
- Upplaga2002
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540433767
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Higher-Order Algebra, Logic, and Term Rewriting
Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
Häftad
689 kr
Theorem Proving in Higher Order Logics
Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel
Häftad
689 kr
Hoppa över listan
Mer från samma serie
Serious Games Development and Applications
Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge
Häftad
669 kr
Del 16095
Energy Informatics
Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin
Häftad
2 089 kr
Del 9751
HCI in Business, Government, and Organizations: eCommerce and Innovation
Fiona Fui-Hoon Nah, Chuan-Hoo Tan
Häftad
689 kr
- Nyhet
Chromatic Visions
Irina Mihaela Ciortan, Daniele Ferdani, Jon Yngve Hardeberg, Sophia Sotiropoulou, Manuele Veggi
Häftad
569 kr
Software Engineering for Self-Adaptive Systems
Betty H. C. Cheng, Rogério de Lemos, Paola Inverardi, Jeff Magee, Rog Rio De Lemos
Häftad
709 kr
Del 170
Del 319
Del 325
Hoppa över listan
Du kanske också är intresserad av
ML for the Working Programmer
Larry C. Paulson, Larry C. (University of Cambridge) Paulson, Lawrence C. Paulson
Häftad
1 049 kr
Del 2
Logic and Computation
Lawrence C. Paulson, Lawrence C. (University of Cambridge) Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad
869 kr