Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Häftad, 2010
559 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
AvHerbert Wiklicky,Alessandra Di Pierro
E-bok
PDF, Engelska, 2013633 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
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
Hoppa över listan
Du kanske också är intresserad av
Formal Methods for Quantitative Aspects of Programming Languages
Herbert Wiklicky, Alessandra Di Pierro, Marco Bernardo, Alessandro Aldini
E-bok
2010734 kr
Formal Methods for Dynamical Systems
Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
Häftad, 2013
515 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
543 kr
- -17%
Del 2
- 4 för 3
Del 11
- 4 för 3