Lecture Notes in Computer Science: Theorem Proving Techniques and P-Functions
Sale price
$49.49
Regular price $54.99
Skip to product information
Lecture Notes in Computer Science: Theorem Proving Techniques and P-Functions
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science: Theorem Proving Techniques and P-Functions
Snyers, Dominique; Thayse, Andre
Details
Published by: Springer
Publication Date: 1987-08-12
Format: Paperback
ISBN-13: 9783540182177
DOI: 10.1007/3-540-18217-9
Dimensions: 233cm x155cm
Pages: 125