Empik Książki obcojęzyczne Books Science, Math Mathematics Trigonometry

Interactive Theorem Proving and Program Development

Bertot Yves Casteran Pierre

0,0

(0)

411,15 zł

Sprzedaje firma Libristo

4,6

Ocena z 12 miesięcy

Jak sortujemy?

Dostawa za darmo

Dostawa i płatność

Przewidywany czas wysyłki11-14 dni roboczych

Szczegóły

Sprzedawca zagraniczny

Więcej informacji

Zwrotdo 14 dni

Zwroty

Wszystkie produkty sprzedawcy

Sprawdź

Informacje szczegółowe

Pokaż wszystkie

Wydawca:

Springer Berlin Heidelberg, Springer Berlin

Ilość stron:

500

Autor:

Bertot Yves, Casteran Pierre

Okładka:

miękka

Program Ochrony Kupujących

Na empik.com kupujesz bezpiecznie.

Każdy sprzedawca w empik.com jest przedsiębiorcą. Wszystkie obowiązki związane z umową sprzedaży ciążą na sprzedawcy. Za wysłanie produktu odpowiada sprzedawca.

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

ID produktu:	1085418472
Tytuł:	Interactive Theorem Proving and Program Development
Autor:	Bertot Yves, Casteran Pierre
Wydawnictwo:	Springer Berlin Heidelberg, Springer Berlin
Język wydania:	english
Liczba stron:	500
Forma:	książka
Wysokość:	26
Głębokość:	235
Szerokość:	155
GPSR - osoba odpowiedzialna i certyfikaty: