Editions of Interactive theorem proving and program development

Filters
Yves Bertot: Interactive theorem proving and program development (2004, Springer)

Interactive theorem proving and program development

469 pages

English language

Published April 9, 2004 by Springer.

ISBN:
978-3-540-20854-9
Copied ISBN!
OCLC Number:
55514299

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