Filtrera

Ämne
  • (14)
  • (2)
  • (1)
  • (2)
Format
  • (1)
  • (1)
  • (12)
Leveranstid
  • (1)

Gilles Barthe - Böcker

Visar alla böcker av Gilles Barthe. Handla med fri frakt och snabb leverans!

Sortering:

  1. Foundations of Probabilistic Programming

    av Gilles Barthe

    Inbunden, Engelska, 2020-12-03
    880
    Köp
    Skickas från oss inom 2-5 vardagar.
    Foundations of Probabilistic Programming

    What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinni...

    Läs mer »

  2. Foundations of Probabilistic Programming E-bok

    av Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

    E-bok (PDF, LCP), Engelska, 2020-12-03
    931
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Foundations of Probabilistic Programming

    What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinni...

    Läs mer »

  3. Security and Trust Management

    av Gilles Barthe, Evangelos Markatos, Pierangela Samarati

    Häftad, Engelska, 2016-09-17
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Security and Trust Management

    This book constitutes the refereed proceedings of the 12th International Workshop on Security and Trust Management, STM 2016, held in Heraklion, Crete, Greece, in September 2016, in conjunction with the 21st European Symposium Research in Computer...

    Läs mer »

  4. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    av Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean

    Häftad, Engelska, 2005-01-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    This volume contains a selection of refereed papers from participants of the workshop "Construction and Analysis of Safe, Secure and Interoperable Smart Devices" (CASSIS), held from the 10th to the 13th March 2004 in Marseille, France: h...

    Läs mer »

  5. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    av Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet

    Häftad, Engelska, 2006-04-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during...

    Läs mer »

  6. Applied Semantics

    av Gilles Barthe, Peter Dybjer, Luis Pinto, Joo Saraiva

    Häftad, Engelska, 2002-08-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Applied Semantics

    This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic...

    Läs mer »

  7. Formal Methods for Open Object-Based Distributed Systems

    av Gilles Barthe

    Häftad, Engelska, 2008-05-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Formal Methods for Open Object-Based Distributed Systems

    This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented toge...

    Läs mer »

  8. Trustworthy Global Computing

    av Gilles Barthe, Cdric Fournet

    Häftad, Engelska, 2008-03-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Trustworthy Global Computing

    This volume contains the post-proceedings of the third edition of the Int- national Symposium on Trustworthy Global Computing (TGC 2007), held in Sophia-Antipolis,France,November 5-6,2007,andtutorialpapersofthe foll- ing Workshop on the Interplay ...

    Läs mer »

  9. Verification, Model Checking, and Abstract Interpretation

    av Gilles Barthe, Manuel Hermenegildo

    Häftad, Engelska, 2010-01-08
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Verification, Model Checking, and Abstract Interpretation

    This volume contains the proceedings of the 11th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 1719, 2010. VMCAI 2010 was the 11th in a series of meetings. Previou...

    Läs mer »

  10. Programming Languages and Systems

    av Gilles Barthe

    Häftad, Engelska, 2011-03-22
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Programming Languages and Systems

    This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrcken, Germany, March 30April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. ...

    Läs mer »

  11. Security and Trust Management

    av Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner

    Häftad, Engelska, 2011-09-23
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Security and Trust Management

    This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in Athens, Greece, in September 2010. The 17 revised full papers presented were carefully ...

    Läs mer »

  12. Software Engineering and Formal Methods

    av Gilles Barthe, Alberto Pardo, Gerardo Schneider

    Häftad, Engelska, 2011-10-21
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Software Engineering and Formal Methods

    This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short ...

    Läs mer »

  13. Engineering Secure Software and Systems

    av Gilles Barthe, Ben Livshits, Riccardo Scandariato

    Häftad, Engelska, 2012-01-30
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Engineering Secure Software and Systems

    This book constitutes the refereed proceedings of the 4th International Symposium on Engineering Secure Software and Systems, ESSoS 2012, held in Eindhoven, The Netherlands, in February 2012. The 7 revised full papers presented together with 7 ide...

    Läs mer »

  14. Formal Aspects of Security and Trust

    av Gilles Barthe, Anupam Datta, Sandro Etalle

    Häftad, Engelska, 2012-05-04
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Formal Aspects of Security and Trust

    This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ...

    Läs mer »