CONCUR 2006 Concurrency Theory [Risorsa elettronica] : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings / edited by Christel Baier, Holger Hermanns |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2006 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540373773 |
Formato | Risorse elettroniche ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009236580403321 |
Berlin ; Heidelberg : Springer, 2006 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Principles of model checking / Christel Baier, Joost-Pieter Katoen |
Autore | Baier, Christel |
Pubbl/distr/stampa | Cambridge (Mass.) ; London : The MIT Press, [2008?] |
Descrizione fisica | xvii, 975 p. : ill. ; 26 cm |
Altri autori (Persone) | Katoen, Joost-Pieter |
Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
ISBN | 978-0-262-02649-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008790470403321 |
Baier, Christel
![]() |
||
Cambridge (Mass.) ; London : The MIT Press, [2008?] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Principles of model checking / Christel Baier, Joost-Pieter Katoen |
Autore | Baier, Christel |
Pubbl/distr/stampa | Cambridge [Mass.], : MIT, 2008 |
Descrizione fisica | XVII, 963 p. : ill. ; 26 cm. |
Altri autori (Persone) | Katoen, Joost-Pieter |
Soggetto topico |
68-XX - Computer science [MSC 2020]
68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] |
ISBN | 978-02-620-2649-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0112611 |
Baier, Christel
![]() |
||
Cambridge [Mass.], : MIT, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Principles of model checking / Christel Baier, Joost-Pieter Katoen |
Autore | Baier, Christel |
Pubbl/distr/stampa | Cambridge [Mass.], : MIT, 2008 |
Descrizione fisica | XVII, 963 p. : ill. ; 26 cm |
Altri autori (Persone) | Katoen, Joost-Pieter |
Soggetto topico |
68-XX - Computer science [MSC 2020]
68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] |
ISBN | 978-02-620-2649-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0112611 |
Baier, Christel
![]() |
||
Cambridge [Mass.], : MIT, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|