phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Interactive Theorem Proving

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Interactive Theorem Proving Sandrine Blazy
Libristo kod: 01664057
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2013
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th... Cijeli opis
? points 154 b
61.46 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Brasilien im IBSA-Dialogforum Claudia Liebeswar / Meki uvez
common.buy 37.74 €
Widerstand im totalitaren System - a priori chancenlos? Steffen Radtke / Meki uvez
common.buy 37.84 €
Kostenfalle Messe? Anja Steinrücken / Meki uvez
common.buy 145.14 €
Theaterhandwerk Alan Ayckbourn / Meki uvez
common.buy 21.29 €
Laubgewind Jakob Chr. Heer / Meki uvez
common.buy 49.25 €
USA und der internationale Klimaschutz Jan Hollmann / Meki uvez
common.buy 39.36 €
Interactive Theorem Proving Gerwin Klein / Meki uvez
common.buy 61.46 €
Der Kreis Husum K. Sönnichsen / Meki uvez
common.buy 25.83 €
Beyond 2.0 Steve Collins / Meki uvez
common.buy 36.33 €

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.

Informacije o knjizi

Puni naziv Interactive Theorem Proving
Autor Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2013
Broj stranica 498
EAN 9783642396335
ISBN 364239633X
Libristo kod 01664057
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 777
Dimenzije 155 x 235 x 29

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun