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
1681 Kč
Skladem u dodavatele v malém množství
Odesíláme za 12-15 dnů
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Přidat mezi přání
Mohlo by se vám také líbit
-
Natural Hazard Mitigation Policy
3313 Kč -
Writer's Task from Nietzsche to Brecht
1681 Kč -
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith
816 Kč -
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192)
2626 Kč -
Managing Service Productivity
5094 Kč -
Protection of Electronic Circuits
678 Kč -
Millions
323 Kč -
Healing Code
381 Kč -
Modeling by Object-Driven Linear Elemental Relations
5094 Kč -
Primary Bone Tumors and Tumorous Conditions in Children
2866 Kč -
Modelling Methodology for Physiology and Medicine
3962 Kč -
Appeasement in International Politics
1144 Kč -
Alice's Adventures in Wonderland colouring book
330 Kč -
Odvaha za úsvitu
83 Kč -
Innovationsfinanzierung durch Venture Capital
2038 Kč -
Geschichtspolitik in Der "berliner Republik"
2275 Kč -
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative.
1321 Kč -
Minus Drei und der Zahlensalat
242 Kč -
Lehrbuch Der Gesamten Chemie
1088 Kč -
Špaky v tŕní
126 Kč -
Nevěrná
176 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 168 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
1681 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
-
Computer Architecture
2719 Kč -
Assembly Language Step-by-Step - Programming with Linux 3e
1255 Kč -
Quantum Computing
1197 Kč -
Frontend Architecture for Design Systems
794 Kč -
Solutions Architect's Handbook
2533 Kč -
Professional CUDA C Programming
1145 Kč -
Development and Deployment of Multiplayer Online Games, Vol. I
822 Kč -
Principles of Computer Hardware
2441 Kč -
Art of Scalability, The
1446 Kč -
Distributed Algorithms
1649 Kč -
Modeling Enterprise Architecture with TOGAF
1463 Kč -
Art Of Assembly Language, 2nd Edition
1250 Kč -
Learning Malware Analysis
1412 Kč -
Solutions Architect's Handbook
1564 Kč -
Professional Assembly Language
996 Kč -
Structured Computer Organization
2731 Kč -
Programming the 65816: Including the 6502, 65c02, and 65802
1131 Kč -
CUDA Programming
1191 Kč -
VMware Performance and Capacity Management -
1869 Kč -
CUDA Fortran for Scientists and Engineers
2329 Kč -
Computer Organization and Design MIPS Edition
2222 Kč -
Docker for Developers
1259 Kč -
Boost.Asio C++ Network Programming Cookbook
1564 Kč -
Practice of Enterprise Architecture
1664 Kč -
Raspberry Pi User Guide 4e
592 Kč -
Mastering Docker
1259 Kč -
CLEAN ARCHITECTURE
992 Kč -
Network and System Security
2003 Kč -
Parallel Programming in OpenMP
2361 Kč -
Architecting Google Cloud Solutions
1398 Kč -
Model-based System and Architecture Engineering with the Arcadia Method
4268 Kč -
GNU GRUB Manual
461 Kč -
Digital Manufacturing
423 Kč -
Building Your Next Big Thing with Google Cloud Platform
1036 Kč -
Computer Systems
6533 Kč -
TOGAF (R) Standard, Version 9.2 - A Pocket Guide
711 Kč -
Art of Systems Architecting
4568 Kč -
Puppet for Containerization
1398 Kč -
Essentials Of Computer Organization And Architecture
5515 Kč -
System Designer's Guide to VHDL-AMS
2843 Kč -
Parallel Computing
2455 Kč -
Digital Design and Computer Architecture, RISC-V Edition
2518 Kč -
Web Services
2068 Kč -
Service-Oriented Architecture (paperback)
1766 Kč -
Assembly Language for x86 Processors, Global Edition
2730 Kč -
FPGA Prototyping by SystemVerilog Examples - Xilinx MicroBlaze MCS SoC Edition
3764 Kč -
Graph Algorithms in the Language of Linear Algebra
4013 Kč -
Mastering KVM Virtualization
1564 Kč -
Agile Model-Based Systems Engineering Cookbook
1314 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)