15 Ebooks by Marco Bernardo
Marco Bernardo & Einar Broch Johnsen: 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 Software Systems, S …
PDF
Inggeris
€51.16
Alessandro Aldini & Marco Bernardo: Process Algebraic Approach to Software Architecture Design
Inthe?eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for rea …
PDF
Inggeris
DRM
€57.46
Marco Bernardo & Ferruccio Damiani: 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 Software Systems, S …
PDF
Inggeris
DRM
€57.99
Marco Bernardo & Flavio Corradini: Formal Methods for the Design of Real-Time Systems
…
PDF
Inggeris
DRM
€57.35
Marco Bernardo & Alessandro Cimatti: Formal Methods for Hardware Verification
…
PDF
Inggeris
DRM
€57.99
Marco Bernardo & Paola Inverardi: Formal Methods for Software Architectures
In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering re …
PDF
Inggeris
DRM
€57.61
Marco Bernardo & Pierpaolo Degano: Formal Methods for Computational Systems Biology
…
PDF
Inggeris
DRM
€57.42
Alessandro Aldini & Marco Bernardo: Formal Methods for Quantitative Aspects of Programming Languages
…
PDF
Inggeris
DRM
€57.90
Alessandro Aldini & Marco Bernardo: Computer Performance Engineering
This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro, Italy, on September 23-24, 2010. The purpose of this workshop series is to ga …
PDF
Inggeris
DRM
€57.91
Marco Bernardo & Valerie Issarny: Formal Methods for Eternal Networked Software Systems
This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, …
PDF
Inggeris
DRM
€57.42
Marco Bernardo & Vittorio Cortellessa: 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 Software Systems, …
PDF
Inggeris
DRM
€57.46
Marco Bernardo & Alessandra Di Pierro: 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 Software Systems, S …
PDF
Inggeris
DRM
€50.84
