Placeholder text
Types for Proofs and Programs
0 - Default Title
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
280
Release Date:
2008-10-10
Publication Date:
2006-01-25
Publisher:
Springer Berlin
Languages:
Original:
English
ISBN10:
3540314288
ISBN13:
9783540314288
GPSR Manufacturer Reference:
Weight:
408 g
Height:
155 cm
Width:
235 cm
Currently sold out