Formal methods for dynamical systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : Advanced lectures / Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.).
| Author/creator | International School on Formal Methods for the Design of Computer, Communication, and Software Systems |
| Format | Electronic |
| Publication Info | Heidelberg [Germany] ; New York : Springer, [2013] |
| Description | 179 pages : illustrations ; 24 cm. |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2013 English International |
| Supplemental Content | Full text available from Springer Books |
| Subjects |
| Other author/creator | Bernardo, Marco. |
| Other author/creator | Vink, Erik de. |
| Other author/creator | Di Pierro, Alessandra. |
| Other author/creator | Wiklicky, Herbert. |
| Series | Lecture notes in computer science ; 7938 |
| Contents | Automation of Quantitative Information-Flow Analysis / Boris Köpf, Andrey Rybalchenko -- ODE Analysis of Biological Systems / Diana-Elena Gratie, Bogdan Iancu, Ion Petre -- Model Checking of Biological Systems / Luboš Brim, Milan Češka, David Šafránek -- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation / Luca Bortolussi, Jane Hillston -- Topological Quantum Computation / Jiannis K. Pachos. |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2013940207 |
| ISBN | 9783642388736 (soft cover) |
| ISBN | (eISBN) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |