Placeholder text
The Calculus of Computation: Decision Procedures With Applications to Verification
The Calculus of Computation: Decision Procedures With Applications to Verification
0 - Default Title
Product details
Edition:
1
Number of Pages:
366
Release Date:
2007-09-03
Publication Date:
2007-09-03
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Languages:
Published:
English,
Original:
English
ISBN10:
3540741127
ISBN13:
9783540741121
GPSR Manufacturer Reference:
Weight:
680 g
Currently sold out