Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


1-12 sur 12 résultats pour « marco bernardo »
Skip side bar filters

  • A Process Algebraic Approach to Software Architecture Design

    par Alessandro Aldini, Marco Bernardo, Flavio Corradini ...
    Collections 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 ... En savoir plus

    $64.09 CAD

  • 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

    Modifié par Marco Bernardo, Einar Broch Johnsen ...
    Collections 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 ... En savoir plus

    $60.19 CAD

  • 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

    Modifié par Marco Bernardo, Rocco De Nicola, Jane Hillston ...
    Collections 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, ... En savoir plus

    $64.09 CAD

Les lecteurs de ces romans ont aussi aimé

  • Advanced R

    Data Programming and the Cloud

    par Matt Wiley, Joshua F. Wiley ...
    Collections 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 ... En savoir plus

    $56.99 CAD

  • String Analysis for Software Verification and Security

    par Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...
    Collections 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 ... En savoir plus

    $83.29 CAD

  • Structured Object-Oriented Formal Language and Method

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

    Modifié par Shaoying Liu, Zhenhua Duan ...
    Collections 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, ... En savoir plus

    $64.99 CAD

  • Structured Object-Oriented Formal Language and Method

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

    Modifié par Zhenhua Duan, Shaoying Liu ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Semantics, Logics, and Calculi

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

    Modifié par Christian W. Probst, Chris Hankin, René Rydhof Hansen ...
    Collections 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 ... En savoir plus

    $64.99 CAD

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

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

    Modifié par Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni ...
    Collections 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 ... En savoir plus

    $64.09 CAD

  • Logic-Based Program Synthesis and Transformation

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

    Modifié par Manuel V Hermenegildo, Pedro Lopez-Garcia ...
    Collections 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 ... En savoir plus

    $64.99 CAD

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

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

    Modifié par Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • 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

    Modifié par Dorel Lucanu ...
    Collections 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 ... En savoir plus

    $64.99 CAD