Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563734
Price: 53.79 EUR
Availability: InStock
Author: Richard J. Boulton
ISBN: 9783540425250

14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

Richard J. Boulton

Paul B. Jackson

Sprache

Englisch

Buch Broschur

Libristo-Code: 01563734

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2001

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Th... Vollständige Beschreibung

Libristo-Code: 01563734

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Deckungsbeitragsrechnung im Getränkefachgroßhandel Aco Michael Tschernutter

Hardcover

49.90 €

Planet der Zehnwortdiktatur (Teil 1) Michael Häusler

Broschur

11.90 €

Homo sapiens: die Krone der Schoepfung Martin Rhonheimer

Hardcover

80.29 €

Des orties et des hommes Pigani

Broschur

27.29 €

BOHEMIAN RHAPSODY CONCERT BAND/HARMONIE FREDDIE MERCURY Buch

binding.

36.69 €

Else Lasker-Schüler, Elise Bambus & die "Irrenanstalt Dalldorf" Thomas Höfert

Broschur

21.49 €

Departement de la Seine-Inferieure. Asile Public d'Alienes de Saint-Yon Saint-Etienne-Du-Rouvray CORTYL-E

Broschur

19.09 €

Ciplak Maymun Morris Desmond

Broschur

16.79 €

Filozof i papiez Wybor tekstow Jaroslaw Merecki

Hardcover

17.89 €

Gray Naip'ddle Alvaro Espino

Broschur

20.19 €

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2001, held in Edinburgh, Scotlang, UK in September 2001. The 23 revised full papers presented together with one invited paper and two invited abstracts were carefully reviewed and selected from a total of 47 submissions. All current issues in HOL theorem proving and formal verification of hardware and software systems are addressed. Among the HOL theorem proving systems evaluated are Coq, HOL, Isabelle, and PVS.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Theorem Proving in Higher Order Logics

Autor Richard J. Boulton, Paul B. Jackson

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2001

Anzahl der Seiten 402

EAN 9783540425250

ISBN 354042525X

Libristo-Code 01563734

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1270

Abmessungen 155 x 233 x 23

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Keep Calm And Code On Alex Lau

Broschur

16.49 €

The Book of Job: A New Translation Lee Roy Martin

Broschur

16.29 €

Handbook of Positive Psychology in Intellectual and Developmental Disabilities Karrie A. Shogren

Adobe ePub DRM

555.69 €

Adventures of Uncle Rocky, Fireman James Burd Brewster

MP3

10.49 €

Odyssey Homer

Adobe ePub DRM

19.59 €

Understanding Children's Emotions Isabelle Filliozat

Broschur

19.79 €

Rosamunde Pilcher's Cornwall Gill Knappett

Broschur

6.79 €

The Sagebrusher: A Story of The West Emerson Hough

Broschur

10.69 €

Reading Country Music Cecelia Tichi

Broschur

44.39 €

How the Other Half Lives Jacob A Riis

Broschur

18.39 €

Theory of Chess; A Treatise, in Which the Principles and Maxims of This Game, or Rather Science, Are Clearly and Concisely Explained; ... Peter Pratt

Broschur

16.39 €

My Graduation Maria Morales

Broschur

8.79 €

Applied Quantum Chemistry J. Angyan

Hardcover

321.39 €

Mechanics and Physics of Precise Vacuum Mechanisms E. A. Deulin

Broschur

159.89 €

IMMOBILIZABLE BISUBSTRATE-ANALOGUE INHIBITORS OF PROTEIN KINASES Kaido Viht

Broschur

51.99 €

ISG 48: A Commentary on Acts Yon Gyong Kwon

Broschur

22.79 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater

Theorem Proving in Higher Order Logics