Real time systems formal specification and automatic verification
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, UK, New York
Cambridge University Press
2008.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000pam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 28558 | ||
| 003 | MY-KLNDU | ||
| 005 | 20241218082605.0 | ||
| 008 | s2008 xxk d a 1 engdc | ||
| 020 | |a 9780521883337 | ||
| 020 | |a 0521883334 | ||
| 035 | |a 0000039664 | ||
| 039 | 9 | |a 201002021428 |b faizin |c 200911181301 |d VLOAD |y 200910091810 |z VLOAD | |
| 090 | |a QA76.54b.O43 2008 | ||
| 100 | 1 | |a Olderog ,E.R | |
| 245 | 1 | 0 | |a Real time systems |b formal specification and automatic verification |c Ernst-Rudiger Olderog and Henning Dierks. |
| 260 | |a Cambridge, UK, |a New York |b Cambridge University Press |c 2008. | ||
| 300 | |a xvi, 320 p. |b ill. |c 26 cm. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 591 | |a 0000010316 |b 11/06/09 |c 0200-07 |d 1 |e RM280 |f 1 |g 280 |h Harmoni Publications & Distributors Sdn. Bhd. | ||
| 650 | 0 | |a Real-time data processing. | |
| 700 | 1 | |a Dierks ,Henning. | |
| 999 | |a vtls000038178 |c 28558 |d 28558 | ||