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 and Program Development

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Interactive Theorem Proving and Program Development Yves Bertot
Libristo kod: 02129535
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, svibanj 2004
Coq is an interactive proof assistant for the development of mathematical theories and formally cert... Cijeli opis
? points 331 b
131.96 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

TOP
Continuous Discovery Habits Teresa Torres / Meki uvez
common.buy 16.94 €
Crush Tracy Wolff / Meki uvez
common.buy 11.59 €
Lost Spells Robert Macfarlane / Tvrdi uvez
common.buy 15.43 €
Invention and Innovation / Tvrdi uvez
common.buy 19.97 €
From Head to Toe Eric Carle / Meki uvez
common.buy 7.86 €
Soled Out: The Golden Age of Sneaker Advertising SNEAKER FREAKER / Tvrdi uvez
common.buy 53.16 €
Notes on Heartbreak Annie Lord / Meki uvez
common.buy 10.69 €
Proof Theory Takeuti / Meki uvez
common.buy 20.88 €
Basic Proof Theory Anne S. Troelstra / Meki uvez
common.buy 65.98 €
Layout Essentials Revised and Updated Beth Tondreau / Meki uvez
common.buy 21.88 €
Complete Guide to Machine Knitting: From the Thread to the Finished Garment / Meki uvez
common.buy 32.88 €
RASPRODAJA
Interactive Theorem Proving and Program Development Yves Bertot / Meki uvez
common.buy 73.04 €
Type Theory and Formal Proof Rob Nederpelt / Tvrdi uvez
common.buy 95.44 €
In the Ruins of Neoliberalism Wendy Brown / Meki uvez
common.buy 26.22 €
Recollections of My Non-Existence / Tvrdi uvez
common.buy 15.73 €
Relentless: 12 Rounds to Success Eddie Hearn / Tvrdi uvez
common.buy 23.10 €

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory.This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Informacije o knjizi

Puni naziv Interactive Theorem Proving and Program Development
Autor Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2004
Broj stranica 472
EAN 9783540208549
ISBN 3540208542
Libristo kod 02129535
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 912
Dimenzije 163 x 239 x 36

Kategorija

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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