Zum Hauptinhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Herzlich Willkommen!
Bitte wählen Sie Ihr Versandland aus:
Schweiz
Liechtenstein
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Hauptverlag
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zur Kategorie Bücher
Belletristik
Kinder- & Jugendbuch
Kochen
Natur & Garten
Gestalten & Textiles
Architektur & Design
Bücher-Abos
Bücher-Gutscheine
Restexemplare Haupt Verlag
Haupt Verlag
Neuerscheinungen
Natur & Garten
Geschichte & Kultur
Gestalten & Design
Fachbuch
Zur Kategorie Geschenke
Bücher-Abos
Kalender
Schreibwaren
Spiele
Puzzles
Kleinigkeiten
Zur Kategorie Kurse & Events
Kurse Atelier 14B
Events
Haupt auswärts
Zur Kategorie Service
Erweiterte Suche
Bestellservice
Geschäftskunden
Bibliotheken
Atelier 14B mieten
Kontakt
Zur Kategorie Über uns
Unser Laden
Team
Firmenportrait
Menü schließen
Fr
Schweizer Franken
Fr
CHF
€
EUR
Kategorien
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zu "interactive theorem proving" wurden 15 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Springer Berlin (9)
Springer International Publishing (3)
Springer London (1)
Springer Netherland (2)
Produktart
Gebunden (3)
Kartoniert / Broschiert (12)
Herausgeber
Artemov, Sergei Nerode, Anil (2)
Basin, David Rusinowitch, Michael (1)
Bibel, Wolfgang Schmitt, P.H. (2)
Gore, Rajeev Leitsch, Alexander Nipkow, Tobias (1)
Kaufmann, Matt Paulson, Lawrence C. (1)
Liu, Zhiming Woodcock, Jim Zhu, Huibiao (1)
Oswald, Elisabeth Fischlin, Marc (1)
Autor
Bertot, Yves Castéran, Pierre (2)
Harrison, John (1)
Russinoff, David M. (3)
Schlagworte
ACL2 (1)
AES (1)
algebra (1)
algorithm analysis and problem complexity (1)
algorithms (1)
ARM processor (1)
authenticated encryption (1)
Automat (6)
automata (3)
automated deduction (5)
automated reasoning (4)
automated theorem proving (2)
Boolean algebra (2)
Booth multiplication (3)
calculus (1)
cluster computing (1)
compiler optimizations (1)
complex system (2)
complexity (2)
computational geometry (1)
computer (1)
computer arithmetic (2)
computer aritmetic (1)
computer science (2)
consistency checking (1)
Coq (2)
cryptanalysis (1)
cryptographic proofs (1)
data structure (1)
data structures (1)
database (1)
declarative proofs (1)
deterministic encryption (1)
differential cryptanalysis (1)
distributed systems (1)
expert system (2)
floating-point arithmetic (3)
floation-point specification (2)
formal logic (1)
formal method (2)
formal modeling (1)
formal specification (1)
formal specification of arithmetic instructions (3)
formal verification (4)
game theory (2)
hash functions (1)
heuristics (2)
Hybrid Hoare Logic (1)
ideal cipher (1)
IEEE compliance (1)
inductive proof (1)
interactive theorem proving (15)
kleene algebras (1)
lightweight cryptography (1)
logic (6)
logical inference (1)
mathematical logic (1)
mathematics (1)
mechanized reasoning (1)
model-driven software development (1)
nonclassical logics (1)
nonmonotonic reasoning (2)
Processing (2)
programming (3)
proof theory (1)
proving (3)
register-transfer logic (2)
SRT division (3)
theorem proving (4)
verification (1)
Veröffentlicht
1998 (1)
2001 (1)
2004 (1)
2007 (1)
2008 (1)
2010 (1)
2011 (1)
2013 (1)
2015 (1)
2019 (1)
2022 (1)
2023 (1)
Sprache
Englisch (15)
Formal Verification of Floating-Point Hardware Design
117,70 CHF*
In den Warenkorb
Formal Verification of Floating-Point Hardware Design
160,50 CHF*
In den Warenkorb
Formal Verification of Floating-Point Hardware Design
90,95 CHF*
In den Warenkorb
Advances in Cryptology – EUROCRYPT 2015
53,50 CHF*
In den Warenkorb
Automated Reasoning
107,00 CHF*
In den Warenkorb
Interactive Theorem Proving and Program Development
117,70 CHF*
In den Warenkorb
Interactive Theorem Proving
107,00 CHF*
In den Warenkorb
Theorem Proving with the Real Numbers
107,00 CHF*
In den Warenkorb
Logical Foundations of Computer Science
53,50 CHF*
In den Warenkorb
Interactive Theorem Proving and Program Development
85,60 CHF*
In den Warenkorb
Unifying Theories of Programming and Formal Engineering Methods
53,50 CHF*
In den Warenkorb
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
214,00 CHF*
In den Warenkorb
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
214,00 CHF*
In den Warenkorb
Logical Foundations of Computer Science
53,50 CHF*
In den Warenkorb
Automated Reasoning
107,00 CHF*
In den Warenkorb
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
