Model Checking Software
by Graf, Susanne
Available Copies
Model Checking Software
by Graf, Susanne [Editor]; Mounier, Laurent [Editor];
- Condition
- Used - Very Good
- Published
- 2004-04-28
- Binding
- Paperback
- ISBN
- 9783540213147
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, USA
- Item Price
-
A$6.07
Show Details
Description:
Springer, 2004-04-28. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments. Item Price
A$6.07
MODEL CHECKING SOFTWARE
by SUSANNE GRAF (EDITOR), LAURENT MOUNIER (EDITOR) ,
- Condition
- New
- Jacket Condition
- New
- Edition
- 1st
- Published
- 2004
- Binding
- Paperback
- ISBN
- 9783540213147
- Quantity Available
- 1
- Seller
-
New Delhi, IND
- Item Price
-
A$88.22
Show Details
Description:
Springer, 2004. 1st. Paperback. New/New. Item Price
A$88.22
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
by Susanne Graf
- Condition
- New
- ISBN
- 9783540213147
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, GBR
- Item Price
-
A$94.18
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Item Price
A$94.18
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
by Graf, Susanne (Editor)/ Mounier, Laurent (Editor)
- Condition
- New
- Published
- 2004
- Binding
- Paperback
- ISBN
- 9783540213147
- Quantity Available
- 1
- Seller
-
Exeter, Devon, GBR
- Item Price
-
A$113.25
Show Details
Description:
Springer-Verlag New York Inc, 2004. Paperback. New. 1st edition. 307 pages. German language. 9.50x6.00x1.00 inches. Item Price
A$113.25
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
by Susanne Graf
- Condition
- New
- Binding
- Paperback / softback
- ISBN
- 9783540213147
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, GBR
- Item Price
-
A$115.21
Show Details
Description:
Paperback / softback. New. 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). Item Price
A$115.21
