Skip to main content
Search Button
Canada 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 “fabrice kordon”
Skip side bar filters

  • Transactions on Petri Nets and Other Models of Concurrency XVIII

    Edited by Fabrice Kordon, Laure Petrucci, Jörg Desel, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski ...
    Series series Computer Science (R0)
    The 18th volume of ToPNoC contains revised and extended contributions based on the lectures delivered during the 6th Advanced Course on Petri Nets, ACPN 2023.The 7 lectures and 4 practical papers address topics such as modelling distributed systems; Petri Net essentials; semantics of concurrent systems; a method for synthesising Petri net models from given transition systems; the Reachability ... Read more

    $96.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XVI

    Edited by Maciej Koutny, Fabrice Kordon, Daniel Moldt ...
    Series series Computer Science (R0)
    The 16th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 41st International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2020, and the 20th International Conference on Application of Concurrency to System Design, ACSD 2020.The papers cover a diverse range of topics including model ... Read more

    $115.99 CAD

  • Tools and Algorithms for the Construction and Analysis of Systems

    25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

    Edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen ...
    Series Book 3 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on ... Read more

    Free

  • TOOLympics Challenge 2023

    Updates, Results, Successes of the Formal-Methods Competitions

    Edited by Dirk Beyer, Arnd Hartmanns, Fabrice Kordon ...
    Series series Springer Nature Proceedings Computer Science
    TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April in Paris, France. The goal is to acknowledge the achievements of the various research competitions and comparative evaluations broadly related to the field of formal methods, ... Read more

    $70.99 CAD

  • Embedded Systems

    Analysis and Modeling with SysML, UML and AADL

    Edited by Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet ...
    Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of services and are part of our daily life. The development of these systems is a difficult problem which does not yet have a global solution. Another difficulty is that systems are plunged into the real world, which is not discrete (as is ... Read more

    $174.99 CAD

  • Distibuted Systems

    Design and Algorithms

    Edited by Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci ...
    In today's digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems.Distributed Systems introduces the underlying concepts, the associated design techniques and the related security issues.Distributed Systems: Design and Algorithms, is dedicated to engineers, students, and anyone familiar with ... Read more

    $180.99 CAD

  • Models and Analysis for Distributed Systems

    Edited by Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci ...
    Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues.The objective of this book is to describe the ... Read more

    $180.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XV

    Edited by Maciej Koutny, Fabrice Kordon, Lucia Pomello ...
    Series series Computer Science (R0)
    The 15th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, and the 19th International Conference on Application of Concurrency to System Design, ACSD 2019.The papers cover a diverse range of topics including model ... Read more

    $64.99 CAD

  • Challenges and Opportunity with Big Data

    19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

    Edited by Lin Zhang, Lei Ren, Fabrice Kordon ...
    Series series Springer Nature Proceedings Computer Science
    This book presents the thoroughly refereed and revised post-workshop proceedings of the 19th Monterey Workshop, held in Beijing, China, in Ocotber 2016. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems.The 18 revised full papers presented were significantly extended and improved by the insights gained from the ... Read more

    $64.99 CAD

  • Application and Theory of Petri Nets and Concurrency

    37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

    Edited by Fabrice Kordon, Daniel Moldt ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016.The 16 papers including 3 tool papers with 4 invited talks presented together in this volume were carefully ... Read more

    $64.99 CAD

People who read these also enjoyed

  • Tools and Algorithms for the Construction and Analysis of Systems

    24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

    Edited by Dirk Beyer, Marieke Huisman ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 ... Read more

    Free

  • Tools and Algorithms for the Construction and Analysis of Systems

    24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

    Edited by Dirk Beyer, Marieke Huisman ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 ... Read more

    Free