Artículos relacionados a Model Checking Software: 9Th International Spin Workshop...
Model Checking Software: 9Th International Spin Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes In Computer Science): 2318 - Tapa blanda
Sinopsis
This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002. The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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 Congress on Formal Methods (1999), FMOODS (2000), and ICSE (2001). This year, SPIN 2002 was held as a satellite event of ETAPS 2002, the European Joint Conferences on Theory and Practice of Software. The co-location of SPIN workshops with conferences has proven to be very successful and has helped to disseminate SPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer-Verlag's "Lecture Notes in Computer Science" series. The history of successful SPIN workshops is evidence for the maturing of model checking technology, not only in the hardware domain, but increasingly also in the software area. While in earlier years algorithms and tool development 1 around the SPIN model checker were the focus of this workshop series, the scopehasrecentlywidenedtoincludemoregeneralapproachestosoftwaremodel checking. Current research in this area concentrates not so much on completely verifyingsystemmodels,butratheronanalyzingsourcecodeinordertodiscover software faults.
Reseña del editor
This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002.
The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 48,25
EUR 7,65 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Model Checking Software: 9Th International Spin Workshop...
Imagen de archivo
Model Checking Software: 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 Proceedings
Publicado por
Springer Verlag, New York, 2002
ISBN 10: 3540434771
ISBN 13: 9783540434771
Antiguo o usado
Tapa dura
Librería: Doss-Haus Books, Redondo Beach, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2318. [x, 257 p. : ill. ; 24 cm]. Nº de ref. del artículo: 011897
Cantidad disponible: 1 disponibles
Imagen de archivo
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. del artículo: UTD1421778
Cantidad disponible: 1 disponibles
Imagen de archivo
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science, 2318)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783540434771
Cantidad disponible: 2 disponibles
Imagen del vendedor
Model Checking Software : 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 916445-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking Software (Paperback)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2002
ISBN 10: 3540434771
ISBN 13: 9783540434771
Nuevo
Paperback
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002. The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783540434771
Cantidad disponible: 1 disponibles
Imagen del vendedor
Model Checking Software : 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 : Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 916445
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking Software
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002
ISBN 10: 3540434771
ISBN 13: 9783540434771
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This text constitutes the proceedings of the 9th International SPIN Workshop on Model Checking Software, held in France in 2002 as a satellite event of ETAPS 2002. It presents results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker. Editor(s): Bosnacki, Dragan; Leue, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 272 pages, biography. BIC Classification: UGK; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 391. . 2002. Paperback. . . . . Nº de ref. del artículo: V9783540434771
Gastos de envío:
EUR 10,50
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 15 disponibles
Imagen del vendedor
Model Checking Software : 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 916445
Gastos de envío:
EUR 17,22
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Model Checking Software : 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 : Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 916445-n
Gastos de envío:
EUR 17,22
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Lecture Notes in Computer Science, 2318)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540434771_new
Gastos de envío:
EUR 13,75
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles