|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
New York : Springer Science+Business Media, 1992
|
|
|
1 online resource (427 pages) : illustrations
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9781461209317 (e-book)
|
|
|
ISBN 9781461269502
|
|
|
Print version: Manna, Zohar. Temporal logic of reactive and concurrent systems : specification. New York : Springer Science+Business Media, c1992 xiv, 427 pages ISBN 9781461269502
|
|
|
|
|
|
Includes bibliographical references and index
|
|
|
|
|
|
|
|
|
|
|
|
001806902
|
|
|
full
|
|
|
(Au-PeEL)EBL3073761
|
|
|
(CaPaEBR)ebr10916948
|
|
|
(MiAaPQ)EBC3073761
|
|
|
(OCoLC)958521667
|
Dotazy a připomínky