dragan bosnacki

Grid   List

  1. Ebook
    Sofort lieferbar
    This bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.
    53,49 €
    Alle Preise inkl. MwSt
  2. Ebook
    Sofort lieferbar
    This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentat...
    53,49 €
    Alle Preise inkl. MwSt
  3. Ebook
    Sofort lieferbar
    The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, wh...
    53,49 €
    Alle Preise inkl. MwSt
  4. Taschenbuch
    Bezug 11-15
    The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, wh...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Taschenbuch
    Bezug 16-20
    This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presen...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
<%--for search--%>