Code: 02780943
Isabelle
by Lawrence C. Paulson, Tobias Nipkow
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 o ... more
- Language:
English - Binding: Paperback
- Number of pages: 329
Publisher: Springer, Berlin, 1994
- More about this
51.78 €
RRP: 56.07 €
You save 4.29 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Millions
12.35 € -
Alice's Adventures in Wonderland colouring book
12.96 € -30 % -
Healing Code
14.48 € -29 % -
Einstein's Unfinished Revolution
12.66 € -29 % -
Nevěrná
7.69 € -11 % -
Odvaha za úsvitu
1 € -16 % -
PONS Rechtschreibung und Zeichensetzung auf einen Blick Deutsch
7.89 € -
Razor's Edge
14.99 € -6 % -
Špaky v tŕní
4.55 € -38 % -
Minus Drei und der Zahlensalat
8.81 € -13 % -
Art of War (Illustrated Edition)
15.09 € -
Sherlock Holmes - Sammelbox, 3 DVD
25.12 € -
Handlungsunrecht der Steuerhinterziehung
53.20 € -4 % -
Protection of Electronic Circuits
21.07 € -24 % -
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative.
56.64 € -6 % -
Feuersturm
13.57 € -10 % -
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192)
108.94 € -
Writer's Task from Nietzsche to Brecht
55.93 € -
Natural Hazard Mitigation Policy
103.16 € -7 % -
Modeling by Object-Driven Linear Elemental Relations
154.64 € -7 % -
WWE: Hell in a Call 2022, 2 DVDs, 2 DVD-Video
22.08 € -10 % -
Los Profetas Menores: Oseas, Joel, Amos. Abdias, Jonas, Miqueas, Nahum, Habacuc, Sofonias, Hageo, Zacarias, Malaquias.
12.35 € -7 % -
Primary Bone Tumors and Tumorous Conditions in Children
103.16 € -7 % -
Where Hummingbirds Come From Bilingual Amharic English
14.08 € -6 % -
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith
23.50 € -10 % -
Appeasement in International Politics
37.89 € -
#VivreAuVingtEtUnièmeSiècle
19.35 € -
Tres Cuentos
18.43 € -18 % -
Geschichtspolitik in Der "berliner Republik"
67.59 € -4 % -
Innovationsfinanzierung durch Venture Capital
34.04 € -11 % -
Modelling Methodology for Physiology and Medicine
120.49 € -
Lehrbuch Der Gesamten Chemie
31.31 € -6 % -
Industrial Resources Of Wisconsin (1853)
31 € -2 % -
Managing Service Productivity
154.64 € -7 % -
Love Trances
26.14 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Isabelle
You get 125 loyalty points
Book synopsis
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.
Book details
Book category Books in English Computing & information technology Computer science Computer architecture & logic design
51.78 €
- Full title: Isabelle
- Subtitle: A Generic Theorem Prover
- Author: Lawrence C. Paulson, Tobias Nipkow
- Language: English
- Binding: Paperback
- Number of pages: 329
- EAN: 9783540582441
- ISBN: 3540582444
- ID: 02780943
- Publisher: Springer, Berlin
- Weight: 535 g
- Dimensions: 234 × 156 × 18 mm
- Published: 1994
Trending among others
-
Principles of Computer Hardware
102.65 € -
Computer Organization and Design MIPS Edition
102.96 € -
Programming Massively Parallel Processors
95.05 € -
Digital Design and Computer Architecture, RISC-V Edition
93.73 € -5 % -
FPGA Prototyping by SystemVerilog Examples - Xilinx MicroBlaze MCS SoC Edition
121.40 € -
RISC-V Microprocessor System-On-Chip Design
148.06 € -
Mastering KVM Virtualization
53.70 € -1 % -
Professional CUDA C Programming
42.45 € -24 % -
Computer Architecture
101.13 € -5 % -
Computer Systems
244.13 € -
Programming the 65816: Including the 6502, 65c02, and 65802
40.12 € -7 % -
Raspberry Pi User Guide 4e
21.88 € -24 % -
Structured Computer Organization
269.37 € -
Computer Architecture
94.24 € -
Solutions Architect's Handbook
86.13 € -1 % -
Frontend Architecture for Design Systems
29.89 € -
Art of Scalability, The
38.50 € -14 % -
Structured Computer Organization
93.13 € -14 % -
Art Of Assembly Language, 2nd Edition
59.99 € -24 % -
Professional Assembly Language
36.88 € -25 % -
Modeling Enterprise Architecture with TOGAF
50.97 € -
Development and Deployment of Multiplayer Online Games, Vol. I
28.57 € -25 % -
Solutions Architect's Handbook
53.70 € -1 % -
Learning Malware Analysis
50.97 € -1 % -
CUDA Programming
44.18 € -
CUDA Fortran for Scientists and Engineers
75.09 € -
VMware Performance and Capacity Management -
63.53 € -2 % -
Mastering Docker
42.76 € -2 % -
Docker for Developers
42.76 € -2 % -
CUDA by Example
46.41 € -2 % -
Boost.Asio C++ Network Programming Cookbook
53.70 € -1 % -
Kubernetes in Production Best Practices
38.30 € -2 % -
Quantum Computing
42.56 € -20 % -
Model-based System and Architecture Engineering with the Arcadia Method
161.53 € -9 % -
Guide to Computer Processor Architecture
60.70 € -9 % -
CLEAN ARCHITECTURE
30.70 € -25 % -
Parallel Programming in OpenMP
76.51 € -
Shared-Memory Synchronization
45.60 € -9 % -
Practice of Enterprise Architecture
59.89 € -1 % -
Digital Manufacturing
14.89 € -9 % -
Architecting Google Cloud Solutions
47.32 € -1 % -
Enterprise Software Architecture and Design - Entities, Services, and Resources
140.15 € -2 % -
GNU GRUB Manual
15.09 € -1 % -
Network and System Security
66.68 € -
Building Your Next Big Thing with Google Cloud Platform
32.12 € -24 % -
High Performance Computing
92.52 € -
X86 Assembly Language and C Fundamentals
225.08 € -
CUDA for Engineers
41.85 € -2 % -
Assembly Language for x86 Processors, Global Edition
87.35 € -14 %
Shopping guide
Books by language
Collection points Bratislava a 12839 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25682 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)