Marco Bernardo – författare

Visar alla böcker från författaren Marco Bernardo. Handla med fri frakt och snabb leverans.

33 produkter

1. 

   Process Algebraic Approach to Software Architecture Design

   Av Alessandro Aldini, Marco Bernardo m. fl.

   Häftad, 2014

   568 kr

   Lägg i varukorg

   Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, …

2. 

   Process Algebraic Approach to Software Architecture Design

   Av Alessandro Aldini, Marco Bernardo m. fl.

   Inbunden, 2009

   568 kr

   Lägg i varukorg

   Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, …

3. 

   Process Algebraic Approach to Software Architecture Design

   Av Flavio Corradini, Marco Bernardo m. fl.

   E-bok, 2010

   755 kr

   Lägg i varukorg

   Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, …

4. 

   Formal Methods for Executable Software Models

   14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

   Av Marco Bernardo, Ferruccio Damiani m. fl.

   Häftad, 2014

   568 kr

   Lägg i varukorg

   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, SFM 2014, held in Bertinoro, Italy, in June 2014.SFM 2014 was devoted to executable software models …

5. 

   Formal Methods for Executable Software Models

   14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

   Av Ina Schaefer, Einar Broch Johnsen m. fl.

   E-bok, 2014

   739 kr

   Lägg i varukorg

   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, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models …

6. 

   Formal Methods for Multicore Programming

   15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

   Av Marco Bernardo, Einar Broch Johnsen

   Häftad, 2015

   546 kr

   Lägg i varukorg

   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, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and …

7. 

   Formal Methods for Multicore Programming

   15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

   Av Einar Broch Johnsen, Marco Bernardo

   E-bok, 2015

   652 kr

   Lägg i varukorg

   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, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and …

8. 

   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

   Av Marco Bernardo, Rocco De Nicola m. fl.

   Häftad, 2016

   568 kr

   Lägg i varukorg

   This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016. SFM 2016 was devoted to the Quantitative Evaluation …

9. 

   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

   Av Jane Hillston, Rocco De Nicola m. fl.

   E-bok, 2016

   710 kr

   Lägg i varukorg

   This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016. SFM 2016 was devoted to the Quantitative Evaluation …

10. 

    Formal Methods for Software Architectures

    Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

    Av Marco Bernardo, Paola Inverardi

    Häftad, 2003

    568 kr

    Lägg i varukorg

    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 research and development community as a manageable and meaningful abstraction of the system under …

11. 

    Formal Methods for the Design of Real-Time Systems

    International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

    Av Marco Bernardo, Flavio Corradini

    Häftad, 2004

    568 kr

    Lägg i varukorg

    A large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of their behavior. Inreal-timesystems,instead, time issues become essential. Their correctness depends not only on which - tions they can perform, but also on the action execution time. Due …

12. 

    Formal Methods for Mobile Computing

    5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

    Av Marco Bernardo, Alessandro Bogliolo

    Häftad, 2005

    568 kr

    Lägg i varukorg

    Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe?fthedition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience …

13. 

    Formal Methods for the Design of Real-Time Systems

    International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

    Av Flavio Corradini, Marco Bernardo

    E-bok, 2004

    755 kr

    Lägg i varukorg

14. 

    Formal Methods for Mobile Computing

    5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

    Av Alessandro Bogliolo, Marco Bernardo

    E-bok, 2005

    755 kr

    Lägg i varukorg

15. 

    Formal Methods for Hardware Verification

    6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

    Av Marco Bernardo, Alessandro Cimatti

    Häftad, 2006

    568 kr

    Lägg i varukorg

    This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and …

16. 

    Formal Methods for Hardware Verification

    6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

    Av Alessandro Cimatti, Marco Bernardo

    E-bok, 2006

    755 kr

    Lägg i varukorg

17. 

    Formal Methods for Software Architectures

    Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

    Av Paola Inverardi, Marco Bernardo

    E-bok, 2003

    755 kr

    Lägg i varukorg

    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 research and development community as a manageable and meaningful abstraction of the system under …

18. 

    Formal Methods for Computational Systems Biology

    8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

    Av Marco Bernardo, Pierpaolo Degano m. fl.

    Häftad, 2008

    568 kr

    Lägg i varukorg

    This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience …

19. 

    Formal Methods for Computational Systems Biology

    8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

    Av Gianluigi Zavattaro, Pierpaolo Degano m. fl.

    E-bok, 2008

    755 kr

    Lägg i varukorg

20. 

    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

    Av Marco Bernardo, Jane Hillston

    Häftad, 2007

    568 kr

    Lägg i varukorg

    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 Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to …

21. 

    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

    Av Jane Hillston, Marco Bernardo

    E-bok, 2007

    755 kr

    Lägg i varukorg

22. 

    Formal Methods for Web Services

    9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

    Av Marco Bernardo, Luca Padovani m. fl.

    Häftad, 2009

    523 kr

    Lägg i varukorg

    This volume presents the set of papers accompanying the lectures of the 9th International School on Formal Methods for the Design of Computer, Com- nication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience …

23. 

    Formal Methods for Web Services

    9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

    Av Gianluigi Zavattaro, Luca Padovani m. fl.

    E-bok, 2009

    690 kr

    Lägg i varukorg

24. 

    Formal Methods for Quantitative Aspects of Programming Languages

    10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

    Av Alessandro Aldini, Marco Bernardo m. fl.

    Häftad, 2010

    568 kr

    Lägg i varukorg

    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 Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the …

25. 

    Formal Methods for Quantitative Aspects of Programming Languages

    10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

    Av Herbert Wiklicky, Alessandra Di Pierro m. fl.

    E-bok, 2010

    755 kr

    Lägg i varukorg

26. 

    Computer Performance Engineering

    7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

    Av Alessandro Aldini, Marco Bernardo m. fl.

    Häftad, 2010

    568 kr

    Lägg i varukorg

    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 gather academic and industrial researchers working on all aspects of performance engineering. This …

27. 

    Computer Performance Engineering

    7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

    Av Vittorio Cortellessa, Luciano Bononi m. fl.

    E-bok, 2010

    755 kr

    Lägg i varukorg

    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 gather academic and industrial researchers working on all aspects of performance engineering. This …

28. 

    Formal Methods for Eternal Networked Software Systems

    11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

    Av Marco Bernardo, Valerie Issarny

    Häftad, 2011

    568 kr

    Lägg i varukorg

    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, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal …

29. 

    Formal Methods for Eternal Networked Software Systems

    11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

    Av Valerie Issarny, Marco Bernardo

    E-bok, 2011

    755 kr

    Lägg i varukorg

    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, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal …

30. 

    Formal Methods for Model-Driven Engineering

    12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

    Av Marco Bernardo, Vittorio Cortellessa m. fl.

    Häftad, 2012

    568 kr

    Lägg i varukorg

    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, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering …