Model Checking Software
9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
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)
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
Anmelden