An introduction to practical formal methods using temporal logic
Finna-arvio
An introduction to practical formal methods using temporal logic
Tallennettuna:
Ulkoasu |
368 s |
---|---|
Kieli |
englanti |
Alkuteoksen kieli |
englanti |
Julkaisija |
John Wiley & Sons,
2011.
|
Lisätiedot | Michael Fisher |
ISBN |
9780470027882 |