 |
|
|
Item Details
| Title:
|
MODAL AND TEMPORAL PROPERTIES OF PROCESSES
|
| By: |
Colin Stirling |
| Format: |
Paperback |
| List price:
|
£74.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
1441931538 |
| ISBN 13: |
9781441931535 |
| Publisher: |
SPRINGER-VERLAG NEW YORK INC. |
| Pub. date: |
9 October, 2011 |
| Edition: |
Softcover reprint of the original 1st ed. 2001 |
| Series: |
Texts in Computer Science |
| Pages: |
191 |
| Synopsis: |
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. |
| Illustrations: |
2 black & white illustrations, biography |
| Publication: |
US |
| Imprint: |
Springer-Verlag New York Inc. |
| Returns: |
Returnable |
|
|
|
 |
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|