Real-time systems : formal specification and automatic verification /
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
2008
|
| Edition: | 1st ed. |
| Subjects: | |
| ISBN: | 9780521883337 |
| Online Access: |
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 003 | SK-BrCVT | ||
| 005 | 20220621170248.0 | ||
| 006 | a e f 001 0 | ||
| 008 | 111125s2008####xxk e f 001 0eng#d | ||
| 020 | |a 9780521883337 |q (viaz.) | ||
| 035 | |a CVTIDW0010237 | ||
| 040 | |a CVTISR |b slo |c CVTISR |e AACR2 | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 080 | |a 004.031.43 |2 2008 | ||
| 080 | |a 004.031.6 |2 2008 | ||
| 080 | |a 681.5 |2 2008 | ||
| 080 | |a 519.673 |2 2008 | ||
| 100 | 1 | |a Olderog, Ernst-Rüdiger |4 aut | |
| 245 | 1 | 0 | |a Real-time systems : |b formal specification and automatic verification / |c Ernst-Rüdiger Olderog, Henning Dierks |
| 250 | |a 1st ed. | ||
| 260 | |a Cambridge : |b Cambridge University Press, |c 2008 | ||
| 300 | |a XVI, 320 s. : |b lit., obr., tab. ; |c 26 cm | ||
| 653 | 1 | |a systém v reálnom čase | |
| 653 | 1 | |a časový automat | |
| 653 | 1 | |a vstavaný systém | |
| 653 | 1 | |a matematický model | |
| 653 | 1 | |a automatická verifikácia | |
| 655 | 7 | |a príručky |2 SNKPH | |
| 700 | 1 | |a Dierks, Henning, |d 1970- |4 aut | |
| 852 | |a CVTISR |b 1 | ||
| 910 | |b N000187 | ||
| 919 | |a 978-0-521-88333-7 | ||
| 959 | |a 18 | ||
| 974 | |a maria.Geracsekova |f Knihy | ||
| 992 | |a APP | ||
| 999 | |c 179627 |d 179627 | ||