Del 9700
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
Häftad, 2016
559 kr
Formal Methods for Performance Evaluation
7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
AvJane Hillston,Marco Bernardo
E-bok
PDF, Engelska, 2007734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Jane Hillston, Rocco De Nicola, Marco Bernardo
E-bok
2016712 kr
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Masaki Waga, Sadegh Soudjani, Jane Hillston
E-bok
20241 059 kr
Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Häftad, 2010
566 kr
Process Algebraic Approach to Software Architecture Design
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Häftad, 2014
559 kr
Del 14996
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Jane Hillston, Sadegh Soudjani, Masaki Waga
Häftad, 2024
844 kr
Del 12