Grid   List

  1. Applied Semantics
    -0 %

    Applied Semantics

    Gilles Barthe
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book is based on material presented at the international summer school on Applied Semantics ...

    Unser bisheriger Preis:ORGPRICE: 57,02 €

    Jetzt 57,01 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Programming Languages and Systems
    -0 %

    Programming Languages and Systems

    Gilles Barthe
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESO...

    Unser bisheriger Preis:ORGPRICE: 57,20 €

    Jetzt 57,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Software Engineering and Formal Methods
    -0 %

    Software Engineering and Formal Methods

    Gilles Barthe
    Springer Berlin
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 9th International Conference on Software En...

    Unser bisheriger Preis:ORGPRICE: 83,29 €

    Jetzt 83,28 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Formal Methods for Open Object-Based Distributed Systems
    -0 %

    Formal Methods for Open Object-Based Distributed Systems

    Gilles Barthe
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference o...

    Unser bisheriger Preis:ORGPRICE: 56,96 €

    Jetzt 56,95 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Security and Trust Management
    -0 %

    Security and Trust Management

    Jorge Cuellar
    Springer Berlin
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-conference proceedings of the 6th Internationa...

    Unser bisheriger Preis:ORGPRICE: 57,32 €

    Jetzt 51,15 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Foundations of Probabilistic Programming
    -0 %

    Foundations of Probabilistic Programming

    Gilles Barthe
    Cambridge University Press
    Ebook
    Sofort lieferbar

    What does a probabilistic program actually compute? How can one formally reason about such probab...

    Unser bisheriger Preis:ORGPRICE: 73,83 €

    Jetzt 73,82 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. Engineering Secure Software and Systems
    -0 %

    Engineering Secure Software and Systems

    Gilles Barthe
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 4th International Symposium on Engineering ...

    Unser bisheriger Preis:ORGPRICE: 57,23 €

    Jetzt 57,22 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  8. Verification, Model Checking, and Abstract Interpretation
    -0 %

    Verification, Model Checking, and Abstract Interpretation

    Gilles Barthe
    Springer Berlin
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the 11th International Conference on Veri?cation, Model C...

    Unser bisheriger Preis:ORGPRICE: 95,19 €

    Jetzt 95,18 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  9. Formal Aspects of Security and Trust
    -0 %

    Formal Aspects of Security and Trust

    Gilles Barthe
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-conference proceedings of the 8th Internationa...

    Unser bisheriger Preis:ORGPRICE: 56,49 €

    Jetzt 56,48 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1
  2. 2