Editions of Certified Programming with Dependent Types

Filters
Adam Chlipala: Certified Programming with Dependent Types (Hardcover, 2013, The MIT Press)

Certified Programming with Dependent Types

Hardcover, 424 pages

Published Dec. 6, 2013 by The MIT Press.

ISBN:
978-0-262-02665-9
Copied ISBN!
Adam Chlipala: Certified Programming with Dependent Types (2022, MIT Press)

Certified Programming with Dependent Types

436 pages

English language

Published Nov. 17, 2022 by MIT Press.

ISBN:
978-0-262-54574-7
Copied ISBN!
No cover

Adam Chlipala: Certified Programming with Dependent Types (2013, MIT Press)

Certified Programming with Dependent Types

440 pages

English language

Published Nov. 17, 2013 by MIT Press.

ISBN:
978-0-262-31786-3
Copied ISBN!
No cover

Adam Chlipala: Certified Programming with Dependent Types (2013, MIT Press)

Certified Programming with Dependent Types

440 pages

English language

Published Nov. 17, 2013 by MIT Press.

ISBN:
978-0-262-31788-7
Copied ISBN!
No cover

Adam Chlipala: Certified Programming with Dependent Types (2013, MIT Press)

Certified Programming with Dependent Types

440 pages

English language

Published Nov. 17, 2013 by MIT Press.

ISBN:
978-0-262-31787-0
Copied ISBN!

Can't find the edition you're looking for?