[email protected]
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299.00 lei
Packeta 15.00 lei Cargus 25.00 lei FAN 25.00 lei Easybox 20.00 lei
phone Contact phoneCum să cumpăr

Interactive Theorem Proving

Limba englezăengleză
Carte Carte broșată
Carte Interactive Theorem Proving Sandrine Blazy
Codul Libristo: 01664057
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... Descrierea completă
? points 154 b
305.45 lei
În depozitul extern în cantități mici Expediem în 13-16 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Carte broșată
common.buy 187.99 lei
Brasilien im IBSA-Dialogforum Claudia Liebeswar / Carte broșată
common.buy 187.79 lei
Kostenfalle Messe? Anja Steinrücken / Carte broșată
common.buy 721.92 lei
Theaterhandwerk Alan Ayckbourn / Carte broșată
common.buy 105.95 lei
Laubgewind Jakob Chr. Heer / Carte broșată
common.buy 245.11 lei
USA und der internationale Klimaschutz Jan Hollmann / Carte broșată
common.buy 195.56 lei
Interactive Theorem Proving Gerwin Klein / Carte broșată
common.buy 305.45 lei
Der Kreis Husum K. Sönnichsen / Carte broșată
common.buy 128.55 lei
Beyond 2.0 Steve Collins / Carte broșată
common.buy 180.62 lei

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

Informații despre carte

Titlu complet Interactive Theorem Proving
Autor Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 498
EAN 9783642396335
ISBN 364239633X
Codul Libristo 01664057
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 777
Dimensiuni 155 x 235 x 29

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications > Network security
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Computer security
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo