Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “marco bernardo”
Skip side bar filters

  • A Process Algebraic Approach to Software Architecture Design

    by Alessandro Aldini, Marco Bernardo, Flavio Corradini ...
    Series series Computer Science (R0)
    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, ?-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for ... Read more

    $49.49 USD

  • 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

    Edited by Marco Bernardo, Rocco De Nicola, Jane Hillston ...
    Series series Computer Science (R0)
    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 of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, ... Read more

    $49.49 USD

  • 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

    Edited by Marco Bernardo, Einar Broch Johnsen ...
    Series series Computer Science (R0)
    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 covered topics such as concurrency and coordination mechanisms, architecture and memory models and ... Read more

    $49.49 USD

People who read these also enjoyed

  • Advanced R

    Data Programming and the Cloud

    by Matt Wiley, Joshua F. Wiley ...
    Series series Professional and Applied Computing (R0)
    Program for data analysis using R and learn practical skills to make your work more efficient. This book covers how to automate running code and the creation of reports to share your results, as well as writing functions and packages. Advanced R is not designed to teach advanced R programming nor to teach the theory behind statistical procedures. Rather, it is designed to be a practical guide ... Read more

    $40.99 USD

  • String Analysis for Software Verification and Security

    by Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...
    Series series Computer Science (R0)
    This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Read more

    $62.99 USD

  • Structured Object-Oriented Formal Language and Method

    5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

    Edited by Shaoying Liu, Zhenhua Duan ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions.The focus of this workshops was on following subjects: Modeling, specification, ... Read more

    $49.99 USD

  • Structured Object-Oriented Formal Language and Method

    Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

    Edited by Zhenhua Duan, Shaoying Liu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model ... Read more

    $49.99 USD

  • Semantics, Logics, and Calculi

    Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

    Edited by Christian W. Probst, Chris Hankin, René Rydhof Hansen ...
    Series series Computer Science (R0)
    This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are ... Read more

    $49.49 USD

  • PRIMA 2016: Principles and Practice of Multi-Agent Systems

    19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings

    Edited by Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016.The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is ... Read more

    $49.49 USD

  • Logic-Based Program Synthesis and Transformation

    26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

    Edited by Manuel V Hermenegildo, Pedro Lopez-Garcia ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to ... Read more

    $49.99 USD

  • PRIMA 2017: Principles and Practice of Multi-Agent Systems

    20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

    Edited by Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.The 24 revised full papers presented together with one abstract of a keynote talk and 11 short papers were carefully reviewed and selected from 88 submissions.The intention of the papers is to showcase ... Read more

    $49.99 USD

  • Rewriting Logic and Its Applications

    11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

    Edited by Dorel Lucanu ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers ... Read more

    $49.99 USD