rupak majumdar

Grid   List

  1. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Javier Esparza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryandPracticeofSoftware. ETAPSisanannualfederatedconferencethatwas establishedin1998bycombininganumberofexistingandnewconfe...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Computer Aided Verification
    Computer Aided Verification
    Rupak Majumdar
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Computer Aided Verification
    Computer Aided Verification
    Rupak Majumdar
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Model Checking Software
    Model Checking Software
    Klaus Havelund
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Hybrid Systems: Computation and Control
    Hybrid Systems: Computation and Control
    Rupak Majumdar
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Runtime Verification
    Runtime Verification
    Ezio Bartocci
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria in September 2015. The 15 revised full papers presented ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Networked Systems
    Networked Systems
    Chryssis Georgiou
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.*
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Principles of Systems Design
    Principles of Systems Design
    Jean-François Raskin
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Model Checking Software
    Model Checking Software
    Klaus Havelund
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full paper...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Runtime Verification
    Runtime Verification
    Rupak Majumdar
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presen...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Computer Aided Verification
    Computer Aided Verification
    Viktor Kun¿ak
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th International Conference on Computer AidedVerification, CAV 2017, held in Heidelberg, Germany, in Ju...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Computer Aided Verification
    Computer Aided Verification
    Viktor Kun¿ak
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th International Conference on Computer AidedVerification, CAV 2017, held in Heidelberg, Germany, in Ju...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>