Produktbild
Dragan (Hrsg.) Bosnacki

Model Checking Software

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Ebook (PDF Format)

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, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis at Montr¿ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), andToronto(2001). Whilethe?rstSPINworkshopwasastand-aloneevent,later workshopshavebeenorganizedasmoreorlesscloselya?liatedeventswithlarger conferences, in particular with CAV (1996), TACAS (1997), FORTE/PSTV (1998), FLOC (1999), World C… Mehr

CHF 93.50

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Leue, Stefan (Hrsg.)
  • ISBN: 978-3-540-46017-6
  • EAN: 9783540460176
  • Produktnummer: 37266612
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2003
  • Seitenangabe: 262 S.
  • Plattform: PDF
  • Auflage: 2002
  • Reihenbandnummer: 2318

4 weitere Werke von Dragan (Hrsg.) Bosnacki:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.