An introduction to practical formal methods using temporal logic / Michael Fisher.
Αποθηκεύτηκε σε:
: | |
---|---|
TeilnehmendeR: | |
Έτος έκδοσης: | 2011 |
Γλώσσα: | English |
Διαθέσιμο Online: | |
Φυσική περιγραφή: | vii, 353 p. :; ill. |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Βιβλιογραφία: | Includes bibliographical references and index. |
---|---|
ISBN: | 9780470027882 9781119991489 |
Hierarchical level: | Monograph |
Statement of Responsibility: | Michael Fisher. |