kim g larsen

Grid   List

  1. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Models, Mindsets, Meta: The What, the How, and the Why Not?
    Models, Mindsets, Meta: The What, the How, and the Why Not?
    Tiziana Margaria
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Deepak D’Souza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015....
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Dependable Software Engineering. Theories, Tools, and Applications
    Dependable Software Engineering. Theories, Tools, and Applications
    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Reachability Problems
    Reachability Problems
    Kim Guldstrand Larsen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The 11 full papers presented togeth...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. CONCUR 2001 - Concurrency Theory
    CONCUR 2001 - Concurrency Theory
    Kim G. Larsen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.The 32 revised full papers presented ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Computer Aided Verification
    Computer Aided Verification
    Ed Brinksma
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences de...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Kim G. Larsen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal Modeling and Analysis of Timed Systems
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Sido minut: Eroottisia novelleja salaisista tuhmuuksista
    Sido minut: Eroottisia novelleja salaisista tuhmuuksista
    Cecilie Rosdahl
    LUST
    Ebook
    Sofort lieferbar
    'Hyväilin huuliani etusormella ja ajattelin Lisan punaista suuta, joka juuri sillä hetkellä kosketti jonkun toisen elintä, ei minua. Painoin sormen suljettua suutani vasten ja vaikenin. Lisa voihki...
    7,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Ed Brinksma
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TAC...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Peter Niebert
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in Se...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. CONCUR 2001 - Concurrency Theory
    CONCUR 2001 - Concurrency Theory
    Mogens Nielsen
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.The 32 revised full papers presen...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>