Program Verification in Synthetic Domain Theory
Bernhard Reus(Author)
Shaker (Publisher)
Published in 1996
Other
Undefined
293 pages
978-3-8265-1352-7 (ISBN)
More details
Series
Language
English
Dimensions
Height: 20.5 cm
Width: 14.5 cm
Weight
440 gr
ISBN-13
978-3-8265-1352-7 (9783826513527)
Schweitzer Classification