- 5 Ergebnisse
Kleinster Preis: € 23,70, größter Preis: € 66,49, Mittelwert: € 51,09
1
Interactive Theorem Proving
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Interactive Theorem Proving - neues Buch

2012, ISBN: 9783642323461

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 2… Mehr…

Nr. 978-3-642-32346-1. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
zuklappen (X)
2
Interactive Theorem Proving - Beringer, Lennart|Felty, Amy
Bestellen
bei AbeBooks.de
€ 23,70
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Beringer, Lennart|Felty, Amy:

Interactive Theorem Proving - Taschenbuch

2012, ISBN: 3642323464

[EAN: 9783642323461], Neubuch, [PU: Springer Berlin Heidelberg], DATENSICHERHEIT DATENSICHERUNG SICHERHEIT EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING INTELLIGENZ KüNSTLICHE KI - AI … Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
zuklappen (X)
3
Interactive Theorem Proving - Beringer, Lennart Felty, Amy
Bestellen
bei booklooker.de
€ 45,45
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Beringer, Lennart Felty, Amy:
Interactive Theorem Proving - Taschenbuch

2012

ISBN: 9783642323461

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up to date results State … Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
4
Interactive Theorem Proving
Bestellen
bei Hugendubel.de
€ 66,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Interactive Theorem Proving - Taschenbuch

2012, ISBN: 3642323464

Interactive Theorem Proving ab 66.49 € als Taschenbuch: Third International Conference ITP 2012 Princeton NJ USA August 13-15 2012. Proceedings. Auflage 2012. Aus dem Bereich: Bücher, Rat… Mehr…

Nr. 19264751. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
5
Interactive Theorem Proving - Lennart Beringer; Amy Felty
Bestellen
bei lehmanns.de
€ 66,34
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Lennart Beringer; Amy Felty:
Interactive Theorem Proving - Taschenbuch

2012, ISBN: 9783642323461

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2012

Versandkosten:sofort lieferbar. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Interactive Theorem Proving
Autor:
Titel:
ISBN-Nummer:

9783642323461

Detailangaben zum Buch - Interactive Theorem Proving


EAN (ISBN-13): 9783642323461
ISBN (ISBN-10): 3642323464
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: Springer Berlin
419 Seiten
Gewicht: 0,643 kg
Sprache: Englisch

Buch in der Datenbank seit 2007-07-23T10:32:01+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-22T18:54:22+01:00 (Vienna)
ISBN/EAN: 9783642323461

ISBN - alternative Schreibweisen:
3-642-32346-4, 978-3-642-32346-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: beringer, amy, bering
Titel des Buches: princeton, theorem proving, lecture notes computer science, august

Daten vom Verlag:

Autor/in: Lennart Beringer; Amy Felty
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Verlag: Springer; Springer Berlin
419 Seiten
Erscheinungsjahr: 2012-07-06
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XI, 419 p. 37 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Coq; algebra; formal methods; monadic programs; temporal logics; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Software Engineering; Data and Information Security; Theory of Computation; Künstliche Intelligenz; Software Engineering; Computersicherheit; Netzwerksicherheit; EA

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.
Up to date results State of the art research Fast-track conference proceedings

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783642323478 Interactive Theorem Proving (Springer)

< zum Archiv...