Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Interactive Theorem Proving

106,99 €*

Sofort verfügbar, Lieferzeit: 1-3 Tage

Produktnummer: 181cbe5e9fdb674c3696ff0c348c9a3506
Themengebiete: ARM processor compiler optimizations computational geometry consistency checking cryptographic proofs declarative proofs formal verification inductive proof interactive theorem proving kleene algebras
Veröffentlichungsdatum: 30.06.2010
EAN: 9783642140518
Sprache: Englisch
Seitenzahl: 495
Produktart: Kartoniert / Broschiert
Herausgeber: Kaufmann, Matt Paulson, Lawrence C.
Verlag: Springer Berlin
Untertitel: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Produktinformationen "Interactive Theorem Proving"

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen