Kód: 09060410
Computational Logic and Set Theory
Autor Eugenio G Omodeo
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correc ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 416
Nakladateľ: Springer London Ltd, 2014
- Viac informácií o knihe
50.62 €
Bežne: 56.02 €
Ušetríte 5.40 €
Skladom u dodávateľa
Odosielame za 5 - 8 dní
Mohlo by sa vám tiež páčiť
-
The Comfort Crisis
22.57 € -29 % -
Soviet Playgrounds
37.76 € -
Klíčem je klid
10.42 € -27 % -
Rising Of The Shield Hero Volume 09: The Manga Companion
10.22 € -22 % -
Ethiopian Reading of the Bible
34.62 € -2 % -
Speed of Trust
16.09 € -22 % -
Bakemonogatari (manga), Volume 9
9.91 € -25 % -
Manly P. Hall All Seeing Eye
18.32 € -24 % -
GoGo Kluk z internetu
4.04 € -72 % -
Malware Data Science
42.42 € -25 % -
Animal Life Cycles
9.71 € -9 % -
Solitéry
4.55 € -38 % -
Skepse, a.s.
1 € -16 % -
The Arrangement. Wie ein Herz in dunkler Nacht, englische Ausgabe
7.28 € -24 % -
Markets in Crypto-Assets Regulation (MiCAR)
240.49 € -7 % -
Vampire in Folklore, History, Literature, Film and Television
39.58 € -
More Vintage Christmas Angels: A Grayscale Adult Coloring Book
8.09 € -7 % -
Pilze und Flechten ? Morphologie, Systematik, Bestimmung
66.11 € -6 % -
Bride of Lammermoor
8.80 € -6 % -
Britain and the Dutch Revolt, 1560-1700
127.38 € -
Edén
18.32 € -
Dark World 1 & 2, 2 DVDs
23.08 € -
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE
75.23 € -
Smack
26.93 € -6 % -
IQ Puzzle For Adults
10.01 € -7 % -
How to Make a Vaccine
17.91 € -
Zahnärztliche Implantologie
39.28 € -11 % -
SolarWinds Orion Network Performance Monitor
63.48 € -2 % -
Weaving It Together Teachers Guide Levels 1 & 2
38.47 € -
... wenn ihr die schöne Nachbarin gefällt
16.19 € -8 % -
Optimization Models and Methods for Equilibrium Traffic Assignment
175.07 € -7 % -
Georges Franju - Une esthétique de la destabilisation
19.94 € -
REPORT OF THE SUPERINTENDING S
20.24 € -1 % -
Coach for a Nation: The Life and Times of Knute Rockne
17.20 € -25 % -
La splendeur escamotée de frère Cheval ou le secret des grottes ornées
25.31 € -
società segreta delle Bambine Ribelli. La lettera di Cleopatra
19.43 € -
Solunum Sistemi
13.15 € -5 % -
ACT for Dividing and Inclosing the Common Fields, and Common Pasture, Common Meadow, Common Grounds and Waste Grounds in the Manor and Lordship of Car
25.61 € -2 % -
Summer of the Ancient
15.69 € -2 % -
Target Grade 9 Reading AQA GCSE (9-1) English Language Workbook
12.24 € -
Piranhas
13.66 € -
Studies in the Text of Seneca's "Naturales Quaestiones"
109.35 € -4 % -
How much do yo know about... Frontenis
10.42 € -7 % -
Schnauze, die Nikoläuse sind los
7.38 € -8 % -
My Escape from the Captivity of Anxiety and Depression
29.86 € -
The U.S. - India Relationships: Cross-Sector Collaboration to Promote Sustainable Development
20.85 € -7 % -
Mark Antony's Heroes
12.04 € -24 % -
Does Your Community Need Planning?: the Organization and Functions of a Planning and Zoning Commission; No. 103C
13.86 € -2 % -
Infrared Flash Thermography (Ft) for Building Diagnosis
78.16 € -2 % -
Is Justice Real When “Reality is Not?
150.36 € -
Chinese Revolution
47.99 € -4 % -
Jesuit Ranchers and the Agrarian Development of Colonial Argentina, 1650-1767
31.28 € -9 % -
Happy New Year, Sleepover Club!
5.66 € -
Bubbles, Booms, and Busts
30.57 € -5 % -
Forgotten Legacy
25.51 € -
Parenting and Children's Resilience in Disadvantaged Communities
45.76 € -
Engineering Theories of Software Intensive Systems
216.59 € -
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung
7.38 € -8 % -
Advances in Digital Forensics V
103.07 € -7 % -
Handbook of Separation Process Technology
548.02 € -5 % -
Tratado de Psiquiatra. Tomo I R2003
184.79 € -
Valores organizacionais na administracao de uma Universidade Federal
44.55 € -14 % -
Connecting East Asia
20.34 € -
Hitler's Tyranny
23.99 € -15 % -
Japanese Democracy and Lessons for the United States
181.45 € -
La Biodiversite Faunistique Des Dunes Littorales
32.09 € -11 % -
American Church in Black and White
42.12 € -
Center for Disease Control and Prevention Mmwr
13.86 € -2 % -
Maker of Pedigrees
62.87 € -
Evidence-Based Skills in Criminal Justice
112.29 € -
Henosis
9.91 € -
Voices in Literature
26.22 € -
Theology in the Public Square: Church, Academy, and Nation
48.19 € -1 % -
Grace Abounding to the Chief of Sinners
14.98 € -
Sin
14.98 € -6 % -
Sell Your Jewelry
14.77 € -25 % -
Political History of Secession to the Beginning of the American Civil War
30.06 € -2 %
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 Computational Logic and Set Theory
Nákupom získate 122 bodov
Anotácia knihy
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs.
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Human-computer interaction
50.62 €
- Celý názov: Computational Logic and Set Theory
- Podnázov: Applying Formalized Logic to Analysis
- Autor: Eugenio G Omodeo
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 416
- EAN: 9781447160182
- ISBN: 9781447160182
- ID: 09060410
- Nakladateľ: Springer London Ltd
- Hmotnosť: 659 g
- Rozmery: 23 × 155 × 24 mm
- Dátum vydania: 06. September 2014
Obľúbené z iného súdka
-
Don't Make Me Think, Revisited
42.12 € -4 % -
Topos of Music
226.01 € -
Art of Borderlands 3
40.29 € -9 % -
Cybersecurity for Beginners
19.33 € -2 % -
Calm Technology
18.32 € -24 % -
This is Service Design Doing
43.63 € -16 % -
About Face - The Essentials of Interaction Design, 4e
42.42 € -25 % -
UX Design with Figma
35.53 € -24 % -
UX Strategy
35.53 € -24 % -
Rocket Surgery Made Easy
32.09 € -24 % -
Mapping Experiences
45.05 € -25 % -
Information Architecture, 4e
45.86 € -24 % -
Quantifying the User Experience
52.24 € -6 % -
Unmasking the Social Engineer - The Human Element of Security
26.52 € -25 % -
Microinteractions: Full Color Edition
28.65 € -24 % -
The Fundamentals of UX Writing
26.82 € -14 % -
Automata Theory and its Applications, 1
55.89 € -
Practical Tableau
58.22 € -
Evil by Design - Interaction design to lead us into temptation
30.17 € -26 % -
Bottlenecks
32.09 € -24 % -
Practical UX Design
31.89 € -26 % -
Forms that Work
59.73 € -
Accessibility Handbook
20.34 € -
UI UX Design
70.37 € -
Interview Techniques for UX Practitioners
17.61 € -10 % -
Information Visualization
82.52 € -
Complex Network Analysis in Python
34.32 € -19 % -
UX Book
100.95 € -
Cognitive Biases in Visualizations
12.75 € -92 % -
Designed for Use 2e
35.84 € -20 % -
Microsoft Power BI Cookbook
63.48 € -2 % -
Visual Thinking for Information Design
72.39 € -
Sketching in Human Computer Interaction
68.54 € -
Researching UX: User Research
31.99 € -22 % -
Designing with Data
35.53 € -24 % -
OPC Unified Architecture
95.68 € -
Introduction to Parallel Processing
216.59 € -
Tao of Microservices
54.27 € -
Neural Circuits and Networks, 1
109.45 € -
Mobile User Experience
52.14 € -10 % -
User-Centered Design
21.76 € -24 % -
Cybersecurity for Beginners
25.61 € -2 % -
Interaction Design
30.98 € -22 % -
Human-Computer Interaction
124.14 € -
Designing with the Mind in Mind
55.18 € -
Auditing and GRC Automation in SAP
263.07 € -
Tragic Design
28.65 € -24 % -
Guide to TCP/IP
315.52 € -
Designing Mobile Interfaces
35.53 € -24 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12542 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)