Søkt på: Bøker av Marco Bernardo
totalt 33 treff
Formal Methods for Dynamical Systems
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 …
Process Algebraic Approach to Software Architecture Design
Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived …
Formal Methods for Executable Software Models
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and …
A Process Algebraic Approach to Software Architecture Design
Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived …
Formal Methods for Quantitative Aspects of Programming Languages
This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software …
Formal Methods for Computational Systems Biology
Formal Methods for Quantitative Aspects of Programming Languages
Formal Methods for Dynamical Systems
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 …
Formal Methods for Model-Driven Engineering
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and …
Formal Methods for Performance Evaluation
This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of …
Formal Methods for Mobile Computing
Formal Methods for Multicore Programming
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and …