Artículos relacionados a Computer Aided Verification: 11th International Conference,...
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings: 1633 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV’99, held in Trento, Italy in July 1999 as part of FLoC’99.
The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.
The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 61,95
EUR 17,19 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 58,31
EUR 5,17 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Computer Aided Verification: 11th International Conference,...
Imagen de archivo
Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1633)
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: ria9783540662020_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computer Aided Verification
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1999, 1999
ISBN 10: 3540662022
ISBN 13: 9783540662020
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 constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction. 524 pp. Englisch. Nº de ref. del artículo: 9783540662020
Cantidad disponible: 2 disponibles
Imagen del vendedor
Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
Publicado por
Springer Berlin Heidelberg, 1999
ISBN 10: 3540662022
ISBN 13: 9783540662020
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 constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction. Nº de ref. del artículo: 9783540662020
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computer Aided Verification
Publicado por
Springer Berlin Heidelberg, 1999
ISBN 10: 3540662022
ISBN 13: 9783540662020
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 constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV 99, held in Trento, Italy in July 1999 as part of FLoC 99.The 34 revised full papers presented were carefully reviewed and selected f. Nº de ref. del artículo: 4897573
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computer Aided Verification : 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, 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: 918553-n
Cantidad disponible: 15 disponibles
Imagen de archivo
Computer Aided Verification: 11th International Conference, CAV?99, Trento, Italy, July 6-10, 1999, Proceedings
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 1999. Paperback. . . . . . Nº de ref. del artículo: V9783540662020
Cantidad disponible: 15 disponibles
Imagen del vendedor
Computer Aided Verification : 11th International Conference, Cav'99, Trento, Italy, July 6-10, 1999, 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: 918553
Cantidad disponible: 15 disponibles
Imagen de archivo
Computer Aided Verification
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 524. Nº de ref. del artículo: 262171162
Cantidad disponible: 4 disponibles
Imagen de archivo
Computer Aided Verification
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 524 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 5676741
Cantidad disponible: 4 disponibles
Imagen de archivo
Computer Aided Verification
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 524. Nº de ref. del artículo: 182171152
Cantidad disponible: 4 disponibles