Placeholder text
A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design
By Norman Rubin
A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design
By Norman Rubin
0 - Default Title
Product details
Binding:
Paperback
Number of Pages:
178
Release Date:
2011-08-24
Publication Date:
2011-08-24
Publisher:
Nabu Press
Languages:
Published:
English,
Original:
English
ISBN10:
1176103822
Weight:
327 g
Currently sold out