Jane Hillston – författare

Visar alla böcker från författaren Jane Hillston.

4 produkter

Kategorier

4 produkter

Del 12
Del 12 - Distinguished Dissertations in Computer Science
A Compositional Approach to Performance Modelling
AvJane Hillston
Häftad, Engelska, 2005
789 kr
Skickas inom 5-8 vardagar
Del 14996
Del 14996 - Lecture Notes in Computer Science
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings
AvJane Hillston,Sadegh Soudjanim. fl.
Häftad, Engelska, 2024
1 119 kr
Skickas inom 10-15 vardagar
Del 9700
Del 9700 - Lecture Notes in Computer Science
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
AvMarco Bernardo,Rocco De Nicolam. fl.
Häftad, Engelska, 2016
749 kr
Skickas inom 10-15 vardagar
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
AvMarco Bernardo,Jane Hillston
Häftad, Engelska, 2007
749 kr
Skickas inom 10-15 vardagar