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 - Vazba: Brožovaná
- Počet stran: 329
Nakladatelství: Springer, Berlin, 1994
- Více informací o knize
Mohlo by se vám také líbit
-
Alice's Adventures in Wonderland colouring book
293 Kč -
Healing Code
317 Kč -
Einstein's Unfinished Revolution
276 Kč -
Nevěrná
165 Kč -
Odvaha za úsvitu
24 Kč -
PONS Rechtschreibung und Zeichensetzung auf einen Blick Deutsch
181 Kč -
Razor's Edge
362 Kč -
Špaky v tŕní
118 Kč -
Minus Drei und der Zahlensalat
200 Kč -
Art of War (Illustrated Edition)
339 Kč -
Sherlock Holmes - Sammelbox, 3 DVD
578 Kč -
Millions
301 Kč -
Handlungsunrecht der Steuerhinterziehung
1214 Kč -
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative.
1077 Kč -
Natural Hazard Mitigation Policy
2357 Kč -
Writer's Task from Nietzsche to Brecht
1350 Kč -
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192)
2512 Kč -
Protection of Electronic Circuits
508 Kč -
Feuersturm
308 Kč -
WWE: Hell in a Call 2022, 2 DVDs, 2 DVD-Video
506 Kč -
Los Profetas Menores: Oseas, Joel, Amos. Abdias, Jonas, Miqueas, Nahum, Habacuc, Sofonias, Hageo, Zacarias, Malaquias.
299 Kč -
Primary Bone Tumors and Tumorous Conditions in Children
2357 Kč -
Modeling by Object-Driven Linear Elemental Relations
3532 Kč -
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith
536 Kč -
#VivreAuVingtEtUnièmeSiècle
472 Kč -
Appeasement in International Politics
916 Kč -
Le sculture di Monteoliveto. Una storia di Rinascimento a Napoli
652 Kč -
Modelling Methodology for Physiology and Medicine
2777 Kč -
Tres Cuentos
446 Kč -
Geschichtspolitik in Der "berliner Republik"
1544 Kč -
Innovationsfinanzierung durch Venture Capital
774 Kč -
Lehrbuch Der Gesamten Chemie
715 Kč -
Where Hummingbirds Come From Bilingual Amharic English
339 Kč -
Desafio de Humanizar El Trabajo
1198 Kč -
Managing Service Productivity
3532 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Isabelle
Nákupem získáte 118 bodů
Anotace 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.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer science Computer architecture & logic design
1182 Kč
- Plný název: Isabelle
- Podnázev: A Generic Theorem Prover
- Autor: Lawrence C. Paulson, Tobias Nipkow
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 329
- EAN: 9783540582441
- ISBN: 3540582444
- ID: 02780943
- Nakladatelství: Springer, Berlin
- Hmotnost: 535 g
- Rozměry: 234 × 156 × 18 mm
- Rok vydání: 1994
Oblíbené z jiného soudku
-
Programming Massively Parallel Processors
2296 Kč -
Digital Design and Computer Architecture, RISC-V Edition
2145 Kč -
FPGA Prototyping by SystemVerilog Examples - Xilinx MicroBlaze MCS SoC Edition
2786 Kč -
Computer Architecture
2329 Kč -
Professional CUDA C Programming
956 Kč -
Mastering KVM Virtualization
1229 Kč -
Computer Systems
5895 Kč -
Programming the 65816: Including the 6502, 65c02, and 65802
918 Kč -
Raspberry Pi User Guide 4e
523 Kč -
Structured Computer Organization
6505 Kč -
Computer Architecture
2276 Kč -
Solutions Architect's Handbook
1973 Kč -
Frontend Architecture for Design Systems
686 Kč -
Art of Scalability, The
874 Kč -
Computer Organization and Design MIPS Edition
2297 Kč -
Structured Computer Organization
2118 Kč -
Principles of Computer Hardware
2231 Kč -
Art Of Assembly Language, 2nd Edition
1351 Kč -
Professional Assembly Language
832 Kč -
Modeling Enterprise Architecture with TOGAF
1174 Kč -
Art of Multiprocessor Programming, Revised Reprint
1971 Kč -
Development and Deployment of Multiplayer Online Games, Vol. I
645 Kč -
Solutions Architect's Handbook
1229 Kč -
Learning Malware Analysis
1167 Kč -
CUDA Programming
1310 Kč -
CUDA Fortran for Scientists and Engineers
1731 Kč -
VMware Performance and Capacity Management -
1535 Kč -
Mastering Docker
1034 Kč -
Docker for Developers
1034 Kč -
CUDA by Example
1121 Kč -
Boost.Asio C++ Network Programming Cookbook
1296 Kč -
Multicore and GPU Programming
2589 Kč -
Quantum Computing
964 Kč -
Kubernetes in Production Best Practices
925 Kč -
Parallel Programming in OpenMP
1764 Kč -
Model-based System and Architecture Engineering with the Arcadia Method
4073 Kč -
CLEAN ARCHITECTURE
742 Kč -
Guide to Computer Processor Architecture
1384 Kč -
Shared-Memory Synchronization
1040 Kč -
Digital Manufacturing
339 Kč -
GNU GRUB Manual
364 Kč -
Architecting Google Cloud Solutions
1143 Kč -
Practice of Enterprise Architecture
1446 Kč -
Enterprise Software Architecture and Design - Entities, Services, and Resources
3385 Kč -
Network and System Security
1468 Kč -
Building Your Next Big Thing with Google Cloud Platform
775 Kč -
Computer Architecture
2324 Kč -
RISC-V Microprocessor System-On-Chip Design
2424 Kč -
High Performance Computing
2236 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 46876 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)