10% OFF
language: english
Publisher: MIT PRESS LTD, July of 2015 ‧
58,13€
10% OFF CARD
free shipping
Sell ​​your book
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.

The Little Prover

by Daniel P. (Professor, Indiana University) Friedman e Carl Eastlund

Property Description
ISBN: 9780262527958
Publisher: MIT PRESS LTD
Release Date: July of 2015
Language: English
Dimensions: 178 x 229 x 20 mm
Cover: Softcover
Pages: 248
Format: Book
Collection: The Little Prover
Categories: Books in English > Computing > Schedule
EAN: 9780262527958