Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Häftad, 2010
562 kr
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
518 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Formal Methods for Dynamical Systems
Herbert Wiklicky, Alessandra Di Pierro, Erik de Vink, Marco Bernardo
E-bok
2013633 kr
Formal Methods for Quantitative Aspects of Programming Languages
Herbert Wiklicky, Alessandra Di Pierro, Marco Bernardo, Alessandro Aldini
E-bok
2010734 kr
From Lambda Calculus to Cybersecurity Through Program Analysis
Rajagopal Nagarajan, Pasquale Malacaria, Alessandra Di Pierro
E-bok
2020712 kr
From Lambda Calculus to Cybersecurity Through Program Analysis
Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan
Häftad, 2020
546 kr
- 4 för 3
- Signerad!