Catalogo · 9783319340951
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
ISBN 9783319340951
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Formal Methods for Eternal Networked Software Systems
Marco Bernardo
Formal Methods for Dynamical Systems
Marco Bernardo
Formal Methods for Multicore Programming
Marco Bernardo, Einar Broch Johnsen
Formal Methods for Executable Software Models
Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Probabilistic Trace and Testing Semantics
Marco Bernardo
Formal Methods for Web Services
Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
Formal Methods for the Design of Real-Time Systems
Marco Bernardo, Flavio Corradini
Formal methods for software architectures
Marco Bernardo, Paola Inverardi
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems
Marco Bernardo, Paola Inverardi
Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Formal Methods for Performance Evaluation
Marco Bernardo, Jane Hillston
Verba volant · scripta manent