- 0 Ergebnisse
Kleinster Preis: € 45,90, größter Preis: € 66,34, Mittelwert: € 58,56
1
Bestellen
bei booklooker.de
€ 47,90
Versand: € 0,00
Bestellen
Beringer, Lennart:

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings Lennart Beringer (u. a.) Taschenbuch Lecture Notes in Computer Science - Taschenbuch

2012, ISBN: 9783642323461

[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
2
Bestellen
bei booklooker.de
€ 45,90
Versand: € 0,00
Bestellen

Beringer, Lennart:

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings Lennart Beringer (u. a.) Taschenbuch Lecture Notes in Computer Science - Taschenbuch

2012, ISBN: 9783642323461

[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
3
Bestellen
bei booklooker.de
€ 66,34
Versand: € 0,00
Bestellen
Lennart Beringer:
Interactive Theorem Proving - Taschenbuch

2012

ISBN: 9783642323461

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, IT… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buchversandmimpf2000
Bezahlte Anzeige
4
Interactive Theorem Proving - Lennart Beringer; Amy Felty
Bestellen
bei lehmanns.de
€ 66,34
Versand: € 0,00
Bestellen
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)
5
Interactive Theorem Proving - Lennart Beringer; Amy Felty
Bestellen
bei lehmanns.de
€ 66,34
Versand: € 0,00
Bestellen
Lennart Beringer; Amy Felty:
Interactive Theorem Proving - Taschenbuch

2012, ISBN: 9783642323461

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

Versandkosten:sofort lieferbar, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)

Details zum Buch

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 2021-08-23T18:49:40+02:00 (Vienna)
ISBN/EAN: 9783642323461

ISBN - alternative Schreibweisen:
3-642-32346-4, 978-3-642-32346-1


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.
Gewicht: 0,650 kg
Sprache: Englisch
66,34 € (DE)
68,20 € (AT)
83,08 CHF (CH)
POD

BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Coq; algebra; formal methods; monadic programs; temporal logics; C; Mathematical Logic and Formal Languages; Artificial Intelligence; Logics and Meanings of Programs; Software Engineering; Systems and Data Security; Computation by Abstract Devices; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Software Engineering; Data and Information Security; Theory of Computation; Computer Science; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; Rechnerarchitektur und Logik-Entwurf; Software Engineering; Computersicherheit; Netzwerksicherheit; Informatik; EA


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

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


< zum Archiv...