Amazon cover image
Image from Amazon.com

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.).

By: (13th : International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy)Contributor(s): Bernardo, Marco [editor.] | Vink, Erik de [editor.] | Di Pierro, Alessandra [editor.] | Wiklicky, Herbert [editor.]Material type: TextTextSeries: Serienbezeichnung | Lecture notes in computer science ; 7938. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Berlin ; New York : Springer, ©2013. Description: 1 online resource (179 pages) : illustrations (black and white)Content type: text Media type: computer Carrier type: online resourceISBN: 9783642388743; 3642388744Other title: SFM 2013Subject(s): Formal methods (Computer science) -- Congresses | System design -- Congresses | Computer Systems | Formal methods (Computer science) | System design | Computer science | Software engineering | Logic design | Bioinformatics | Logics and Meanings of Programs | Computational Biology/Bioinformatics | Computation by Abstract DevicesGenre/Form: Congress. | Electronic books. | Ebook. | Conference papers and proceedings. Additional physical formats: Print version:: Formal methods for dynamical systems.DDC classification: 004.01/51 LOC classification: QA76.9.F67 | .I58 2013NLM classification: QA 76.9.F67Online resources: Click here to access online
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.
Summary: This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.\
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

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.

Includes author index.

This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.\

Print version record.

Powered by Koha