Real-time systems : formal specification and automatic verification /
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cambridge :
Cambridge University Press,
2008
|
| Vydání: | 1st ed. |
| Témata: | |
| ISBN: | 9780521883337 |
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Fyzický popis: | XVI, 320 s. : lit., obr., tab. ; 26 cm |
|---|---|
| ISBN: | 9780521883337 |