Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II: 12225 (Lecture Notes in Computer Science) - Tapa blanda
- EditorialSpringer
- Año de publicación2020
- ISBN 10 3030532909
- ISBN 13 9783030532901
- EncuadernaciónTapa blanda
- Número de edición1
- Número de páginas704
- EditorLahiri Shuvendu K., Wang Chao
Comprar nuevo
Ver este artículo
EUR 12,92
Gastos de envío:
GRATIS
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen del vendedor
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21âÂÂ"24, 2020, Proceedings, Part II (Lecture Notes in Computer Science (12225)) [Paperback ]
Publicado por
Springer
(2020)
ISBN 10: 3030532909
ISBN 13: 9783030532901
Nuevo
Soft Cover
Cantidad disponible: 10
Librería:
Valoración
Descripción Soft Cover. Condición: new. Nº de ref. del artículo: 9783030532901
Comprar nuevo
EUR 12,92
Convertir moneda
Imagen de archivo
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Publicado por
CAV Inc. 2020-07-16, Berlin
(2020)
ISBN 10: 3030532909
ISBN 13: 9783030532901
Nuevo
paperback
Cantidad disponible: > 20
Librería:
Valoración
Descripción paperback. Condición: New. Language: ENG. Nº de ref. del artículo: 9783030532901
Comprar nuevo
EUR 42,32
Convertir moneda
Gastos de envío:
EUR 5,28
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, 12225) (eng)
Publicado por
Springer
(2020)
ISBN 10: 3030532909
ISBN 13: 9783030532901
Nuevo
Tapa blanda
Cantidad disponible: 10
Librería:
Valoración
Descripción Condición: new. Nº de ref. del artículo: 4d89a2ebe92f56495c83bea2b58def45
Comprar nuevo
EUR 40,87
Convertir moneda
Imagen de archivo
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part II (Lecture Notes in Computer Science, 12225)
Publicado por
Springer
(2020)
ISBN 10: 3030532909
ISBN 13: 9783030532901
Nuevo
Tapa blanda
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020021175
Comprar nuevo
EUR 47,18
Convertir moneda
Imagen de archivo
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 2124, 2020, Proceedings, Part II
Publicado por
Springer
(2020)
ISBN 10: 3030532909
ISBN 13: 9783030532901
Nuevo
Paperback
Cantidad disponible: 2
Librería:
Valoración
Descripción Paperback. Condición: Brand New. 704 pages. 9.25x6.10x1.54 inches. In Stock. Nº de ref. del artículo: __3030532909
Comprar nuevo
EUR 42,32
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 : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Publicado por
Springer
(2020)
ISBN 10: 3030532909
ISBN 13: 9783030532901
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: ria9783030532901_lsuk
Comprar nuevo
EUR 47,12
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 del vendedor
Computer Aided Verification : 32nd International Conference, Cav 2020, Los Angeles, Ca, USA, July 21-24, 2020, Proceedings
Publicado por
Springer
(2020)
ISBN 10: 3030532909
ISBN 13: 9783030532901
Nuevo
Tapa blanda
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 41629155-n
Comprar nuevo
EUR 58,09
Convertir moneda
Imagen de archivo
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Publicado por
Springer 2020-07
(2020)
ISBN 10: 3030532909
ISBN 13: 9783030532901
Nuevo
PF
Cantidad disponible: 10
Librería:
Valoración
Descripción PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783030532901
Comprar nuevo
EUR 43,69
Convertir moneda
Gastos de envío:
EUR 17,60
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part II (Lecture Notes in Computer Science)
Publicado por
Springer
(2020)
ISBN 10: 3030532909
ISBN 13: 9783030532901
Nuevo
Tapa blanda
Cantidad disponible: 4
Librería:
Valoración
Descripción Condición: New. pp. 649. Nº de ref. del artículo: 26378043281
Comprar nuevo
EUR 57,80
Convertir moneda
Imagen del vendedor
Computer Aided Verification
Publicado por
Springer International Publishing Jul 2020
(2020)
ISBN 10: 3030532909
ISBN 13: 9783030532901
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 open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.\* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: model checking; software verification; stochastic systems; and synthesis. \*The conference was held virtually due to the COVID-19 pandemic. 704 pp. Englisch. Nº de ref. del artículo: 9783030532901
Comprar nuevo
EUR 42,79
Convertir moneda
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío