Kategorien
Handverlesen
Verbrieft
Kafka, Kafka, Kafka
Alice Munro
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (2 Treffer)
Filter schließen (2 Treffer)
Stichwort auswählen
Alle Stichworte
Automatischeverifikation (2)
Logic (2)
Algorithm (1)
Algorithms (1)
Automatedreasoning (1)
Automaticverification (1)
Beweisprüfung (1)
Computer (1)
Concurrentsystems (1)
Distributedsystems (1)
Documentation (1)
Höherstufigelogik (1)
Mathematics (1)
Microprocessor (1)
Modelchecking (1)
Modellprüfung (1)
Nebenläufigesysteme (1)
Proof (1)
Proofchecking (1)
Real-Time (1)
Schließen (1)
Sequentcalculus (1)
Settheory (1)
Syntax (1)
Typetheory (1)
Verification (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Mathematik: Logik (2)
Sprache auswählen
Sprachen
Englisch (2)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (2)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
Lawrence C. Paulson
eng
Lawrence C. Paulson
Isabelle
A Generic Theorem Prover
Springer Berlin Heidelberg
1994
Taschenbuch
348 Seiten
53,49
€
in Kürze
As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-lo…
eng
Computer Aided Verification
Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
Springer Berlin Heidelberg
1993
Taschenbuch
440 Seiten
53,49
€
in Kürze
This volume gives the proceedings of the Fourth Workshop on Computer-Aided Verification (CAV '92), held in Montreal, June 29 - July 1, 1992. The obje…