Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings: 1427 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV’98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Computer Aided Verification: 10th International Conference,...
Imagen de archivo
Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)
Librería: Bookmonger.Ltd, HILLSIDE, NJ, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Fine. Mint condition. Nº de ref. del artículo: mon0000434779
Comprar usado
EUR 4,92
Gastos de envío:
EUR 3,43
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, 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: Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Nº de ref. del artículo: UTD1520306
Comprar usado
EUR 4,92
Gastos de envío:
EUR 6,00
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science, 1427)
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: ria9783540646082_new
Comprar nuevo
EUR 110,43
Gastos de envío:
EUR 13,65
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computer Aided Verification
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1998, 1998
ISBN 10: 3540646086
ISBN 13: 9783540646082
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice. 568 pp. Englisch. Nº de ref. del artículo: 9783540646082
Comprar nuevo
EUR 106,99
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Computer Aided Verification
Publicado por
Springer Berlin Heidelberg, 1998
ISBN 10: 3540646086
ISBN 13: 9783540646082
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV 98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from. Nº de ref. del artículo: 4896836
Comprar nuevo
EUR 92,27
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computer Aided Verification | 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Computer Aided Verification | 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings | Moshe Y. Vardi (u. a.) | Taschenbuch | x | Englisch | 1998 | Springer Spektrum | EAN 9783540646082 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Nº de ref. del artículo: 101931112
Comprar nuevo
EUR 95,55
Gastos de envío:
EUR 70,00
De Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Computer Aided Verification
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1998, 1998
ISBN 10: 3540646086
ISBN 13: 9783540646082
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch. Nº de ref. del artículo: 9783540646082
Comprar nuevo
EUR 106,99
Gastos de envío:
EUR 60,00
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
Publicado por
Springer Berlin Heidelberg, 1998
ISBN 10: 3540646086
ISBN 13: 9783540646082
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice. Nº de ref. del artículo: 9783540646082
Comprar nuevo
EUR 106,99
Gastos de envío:
EUR 64,25
De Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles