sandrine blazy

Grid   List

  1. Verified Software. Theories, Tools, and Experiments
    Verified Software. Theories, Tools, and Experiments
    Sandrine Blazy
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Static Analysis
    Static Analysis
    Sandrine Blazy
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Interactive Theorem Proving
    Interactive Theorem Proving
    Sandrine Blazy
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.The 26 regular full papers presente...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Sémantiques formelles
    Sémantiques formelles
    Sandrine Blazy
    Éditions universitaires européennes
    Taschenbuch
    Bezug 6-10
    Ce livre introduit les sémantiques formelles et détaille des exemples d'utilisation pour définir des langages de programmation réalistes et vérifier des propriétés sémantiques de ces langages. Il p...
    58,52 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Interactive Theorem Proving
    Interactive Theorem Proving
    Sandrine Blazy
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.The 26 regular full papers pr...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Static Analysis
    Static Analysis
    Thomas Jensen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereedproceedings of the 22nd International Static Analysis Symposium, SAS 2015, heldin Saint-Malo, France, in September 2015. The 18 papers presented in t...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Verified Software. Theories, Tools, and Experiments
    Verified Software. Theories, Tools, and Experiments
    Marsha Chechik
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This volume constitutes the thoroughly refereed post-conferenceproceedings of the 8th International Conference on Verified Software:Theories, Tools and Experiments, VSTTE 2016, held in July 201...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>