Kód: 02780943
Isabelle
Autor 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 ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 329
Nakladateľ: Springer, Berlin, 1994
- Viac informácií o knihe
58.06 €
Skladom u dodávateľa v malom množstve
Odosielame za 12 - 15 dní
Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.
Pridať medzi želanie
Mohlo by sa vám tiež páčiť
-
Natural Hazard Mitigation Policy
114.44 € -
Writer's Task from Nietzsche to Brecht
58.06 € -
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith
28.03 € -1 % -
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192)
88.80 € -4 % -
Managing Service Productivity
176.01 € -
Protection of Electronic Circuits
22.34 € -24 % -
Millions
11.76 € -
Healing Code
16.85 € -17 % -
Modeling by Object-Driven Linear Elemental Relations
176.01 € -
Primary Bone Tumors and Tumorous Conditions in Children
107.46 € -2 % -
Modelling Methodology for Physiology and Medicine
138.59 € -
Appeasement in International Politics
39.90 € -
Alice's Adventures in Wonderland colouring book
12.26 € -27 % -
Odvaha za úsvitu
3.78 € -3 % -
Innovationsfinanzierung durch Venture Capital
69.24 € -7 % -
Geschichtspolitik in Der "berliner Republik"
78.62 € -
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative.
49.48 € -4 % -
Minus Drei und der Zahlensalat
8.97 € -13 % -
Lehrbuch Der Gesamten Chemie
37.61 € -
Špaky v tŕní
4.78 € -34 % -
Nevěrná
7.77 € -5 %
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Viac informácií o knihe Isabelle
Nákupom získate 147 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Computer architecture & logic design
58.06 €
- Celý názov: Isabelle
- Podnázov: A Generic Theorem Prover
- Autor: Lawrence C. Paulson, Tobias Nipkow
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 329
- EAN: 9783540582441
- ISBN: 3540582444
- ID: 02780943
- Nakladateľ: Springer, Berlin
- Hmotnosť: 535 g
- Rozmery: 234 × 156 × 18 mm
- Rok vydania: 1994
Obľúbené z iného súdka
-
Mastering KVM Virtualization
53.47 € -2 % -
Computer Architecture
98.97 € -7 % -
Professional CUDA C Programming
44.89 € -24 % -
Frontend Architecture for Design Systems
31.42 € -
Assembly Language Step-by-Step - Programming with Linux 3e
49.98 € -22 % -
Quantum Computing
44.99 € -1 % -
Solutions Architect's Handbook
86.70 € -2 % -
Art of Scalability, The
54.07 € -
Distributed Algorithms
55.07 € -16 % -
Modeling Enterprise Architecture with TOGAF
58.36 € -
Development and Deployment of Multiplayer Online Games, Vol. I
32.72 € -18 % -
Art Of Assembly Language, 2nd Edition
56.47 € -28 % -
Learning Malware Analysis
56.07 € -
Solutions Architect's Handbook
53.57 € -1 % -
Principles of Computer Hardware
97.28 € -5 % -
Structured Computer Organization
100.77 € -
CUDA Programming
44.59 € -5 % -
Programming the 65816: Including the 6502, 65c02, and 65802
44.99 € -
Professional Assembly Language
36.71 € -29 % -
VMware Performance and Capacity Management -
63.95 € -2 % -
CUDA Fortran for Scientists and Engineers
81.61 € -
Computer Organization and Design MIPS Edition
88.70 € -8 % -
Docker for Developers
43.10 € -2 % -
Boost.Asio C++ Network Programming Cookbook
53.57 € -1 % -
Mastering Docker
43.10 € -2 % -
Raspberry Pi User Guide 4e
25.24 € -17 % -
Practice of Enterprise Architecture
65.95 € -
GNU GRUB Manual
15.76 € -2 % -
CLEAN ARCHITECTURE
32.72 € -24 % -
Network and System Security
70.14 € -
Architecting Google Cloud Solutions
47.89 € -1 % -
Parallel Programming in OpenMP
59.96 € -4 % -
Model-based System and Architecture Engineering with the Arcadia Method
172.32 € -4 % -
Digital Manufacturing
15.86 € -4 % -
Building Your Next Big Thing with Google Cloud Platform
34.12 € -24 % -
Computer Systems
266.31 € -
TOGAF (R) Standard, Version 9.2 - A Pocket Guide
25.14 € -
Art of Systems Architecting
158.25 € -
Puppet for Containerization
47.89 € -1 % -
Essentials Of Computer Organization And Architecture
207.24 € -
Service-Oriented Architecture (paperback)
66.35 € -
System Designer's Guide to VHDL-AMS
106.76 € -
Digital Design and Computer Architecture, RISC-V Edition
95.38 € -1 % -
Parallel Computing
85.10 € -
Assembly Language for x86 Processors, Global Edition
106.56 € -
Web Services
75.43 € -
CUDA by Example
51.18 € -
FPGA Prototyping by SystemVerilog Examples - Xilinx MicroBlaze MCS SoC Edition
135.20 € -
CUDA for Engineers
46.49 €
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
21 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)