An introduction to practical formal methods using temporal logic
Finna-arvio
An introduction to practical formal methods using temporal logic
Tallennettuna:
| Ulkoasu |
1 online resource (710 p.) |
|---|---|
| Kieli |
englanti |
| Huomautukset |
Description based upon print version of record. |
| Julkaisija |
Chichester, West Sussex, U.K. ; Hoboken, N.J. :
Wiley,
c2011.
|
| Luokitus | |
| Dewey-luokitus |
005.131 |
| Aiheet | |
| Lisätiedot | Michael Fisher |
| Muu ilmiasu |
0-470-02788-6 |
| Bibliografia |
Includes bibliographical references and index. |
| ISBN |
1-119-99146-3 1-283-40534-2 9786613405340 1-119-99148-X 1-119-99147-1 |
| Huomautus kielistä |
English |