Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - Lecture Notes in Computer Science - Susanne Graf - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540213147 - March 18, 2004
In case cover and title do not match, the title is correct

Susanne Graf
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition

Price
$ 65.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003).

324 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 18, 2004
ISBN13 9783540213147
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 314
Dimensions 155 × 235 × 17 mm   ·   498 g
Language German  
Editor Graf, Susanne
Editor Mounier, Laurent

More by Susanne Graf

Show all

Mere med samme udgiver

See all of Susanne Graf ( e.g. Paperback Book )