Grid   List

  1. 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: 56,55 €

    Jetzt 51,15 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. 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
  3. 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
  4. 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: 55,88 €

    Jetzt 55,87 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. 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: 56,39 €

    Jetzt 56,38 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. 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: 55,67 €

    Jetzt 55,66 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. 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,08 €

    Jetzt 56,07 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  8. 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: 55,97 €

    Jetzt 55,96 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  9. Trustworthy Global Computing
    -0 %

    Trustworthy Global Computing

    Gilles Barthe
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-conference proceedings of the Third Symposium ...

    Unser bisheriger Preis:ORGPRICE: 55,89 €

    Jetzt 55,88 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  10. 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: 69,56 €

    Jetzt 69,55 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  11. Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based Distributed Systems

    Gilles Barthe
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Trustworthy Global Computing

    Trustworthy Global Computing

    Cédric Fournet
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the post-proceedings of the third edition of the Int- national Symposium on ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2