Artículos relacionados a Computer Aided Verification: 28th International Conference,...
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II: 9780 (Lecture Notes in Computer Science) - Tapa blanda
Reseña del editor:
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.
The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2016
- ISBN 10 3319415395
- ISBN 13 9783319415390
- EncuadernaciónTapa blanda
- Número de edición1
- Número de páginas540
- EditorChaudhuri Swarat, Farzan Azadeh
Comprar nuevo
Ver este artículo
EUR 53,59
Gastos de envío:
GRATIS
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen del vendedor
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science) [Paperback ]
Publicado por
Springer
(2016)
ISBN 10: 3319415395
ISBN 13: 9783319415390
Nuevo
Soft Cover
Cantidad disponible: 10
Librería:
Valoración
Descripción Soft Cover. Condición: new. This item is printed on demand. Nº de ref. del artículo: 9783319415390
Comprar nuevo
EUR 53,59
Convertir moneda
Imagen de archivo
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science, 9780)
Publicado por
Springer
(2016)
ISBN 10: 3319415395
ISBN 13: 9783319415390
Nuevo
Tapa blanda
Cantidad disponible: 18
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020097365
Comprar nuevo
EUR 56,71
Convertir moneda
Imagen del vendedor
Computer Aided Verification : 28th International Conference, Proceedings
Publicado por
Springer
(2016)
ISBN 10: 3319415395
ISBN 13: 9783319415390
Nuevo
Tapa blanda
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 26516815-n
Comprar nuevo
EUR 57,98
Convertir moneda
Imagen de archivo
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Publicado por
Springer
(2016)
ISBN 10: 3319415395
ISBN 13: 9783319415390
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783319415390_lsuk
Comprar nuevo
EUR 59,22
Convertir moneda
Gastos de envío:
EUR 11,72
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)
Publicado por
Springer
(2016)
ISBN 10: 3319415395
ISBN 13: 9783319415390
Nuevo
Tapa blanda
Cantidad disponible: 4
Librería:
Valoración
Descripción Condición: New. pp. 540. Nº de ref. del artículo: 26375555028
Comprar nuevo
EUR 71,52
Convertir moneda
Imagen del vendedor
Computer Aided Verification
Publicado por
Springer International Publishing Jul 2016
(2016)
ISBN 10: 3319415395
ISBN 13: 9783319415390
Nuevo
Taschenbuch
Cantidad disponible: 2
Librería:
Valoración
Descripción Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games. 540 pp. Englisch. Nº de ref. del artículo: 9783319415390
Comprar nuevo
EUR 53,49
Convertir moneda
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor
Computer Aided Verification : 28th International Conference, Proceedings
Publicado por
Springer
(2016)
ISBN 10: 3319415395
ISBN 13: 9783319415390
Nuevo
Tapa blanda
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 26516815-n
Comprar nuevo
EUR 59,21
Convertir moneda
Gastos de envío:
EUR 17,62
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II (Lecture Notes in Computer Science)
Publicado por
Springer
(2016)
ISBN 10: 3319415395
ISBN 13: 9783319415390
Nuevo
Tapa blanda
Cantidad disponible: 4
Librería:
Valoración
Descripción Condición: New. Print on Demand pp. 540. Nº de ref. del artículo: 370490379
Comprar nuevo
EUR 76,27
Convertir moneda
Gastos de envío:
EUR 7,63
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Computer Aided Verification: 28th International Conference, Proceedings
Publicado por
Springer-Verlag New York Inc
(2016)
ISBN 10: 3319415395
ISBN 13: 9783319415390
Nuevo
Paperback
Cantidad disponible: 2
Librería:
Valoración
Descripción Paperback. Condición: Brand New. 540 pages. 9.25x6.10x1.18 inches. In Stock. Nº de ref. del artículo: x-3319415395
Comprar nuevo
EUR 73,89
Convertir moneda
Gastos de envío:
EUR 11,74
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Computer Aided Verification
Publicado por
Springer International Publishing AG
(2016)
ISBN 10: 3319415395
ISBN 13: 9783319415390
Nuevo
Tapa blanda
Cantidad disponible: 15
Librería:
Valoración
Descripción Condición: New. Editor(s): Chaudhuri, Swarat; Farzan, Azadeh. Series: Lecture Notes in Computer Science. Num Pages: 538 pages, 126 black & white illustrations, biography. BIC Classification: UMB; UMZ; UYA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 819. . 2016. Paperback. . . . . Nº de ref. del artículo: V9783319415390
Comprar nuevo
EUR 75,63
Convertir moneda
Gastos de envío:
EUR 10,50
De Irlanda a Estados Unidos de America
Destinos, gastos y plazos de envío