Placeholder text
An Introduction to Practical Formal Methods Using Temporal Logic
0 - Default Title
Product details
Edition:
1
Number of Pages:
360
Release Date:
2011-04-18
Publication Date:
2011-04-18
Publisher:
Wiley
Languages:
Published:
English,
Original:
English
ISBN10:
0470027886
GPSR Manufacturer Reference:
Weight:
794 g
Currently sold out