Kod: 09392623
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.
228.36 zł
Dostępność:
50 % szansaOtrzymaliśmy informację, że książka może być ponownie dostępna. Na podstawie państwa zamówienia, postaramy się książkę sprowadzić w terminie do 6 tygodni. Gwarancja pełnego zwrotu pieniędzy, jeśli książka nie zostanie zabezpieczona.Wpisz swój adres e-mail, aby otrzymać od nas powiadomienie,
gdy książka będzie dostępna. Proste, prawda?
Za ten zakup dostaniesz 133 punkty
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.
Kategoria Książki po angielsku Computing & information technology Computer programming / software development Mobile & handheld device programming / Apps programming
228.36 zł
Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.
Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies
Dobre na wszystkich stronach
Koszyk ( pusty )