Name: NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings (en Inglés)
Price: 131.64 EUR
Availability: InStock
Author: Deshmukh, Jyotirmoy V. ; Havelund, Klaus ; Perez, Ivan
ISBN: 9783031067723

portada NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings (en Inglés)

NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings (en Inglés)

Formato

Libro Físico

Ilustrado por

Jyotirmoy V. Deshmukh

Klaus Havelund

Ivan Perez

Editorial

Springer

Autor

Deshmukh, Jyotirmoy V. ; Havelund, Klaus ; Perez, Ivan

Idioma

Inglés

N° páginas

828

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 4.3 cm

Peso

1.17 kg.

ISBN13

9783031067723

Categorías

Programación informática/desarrollo de software

NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings (en Inglés)

Jyotirmoy V. Deshmukh (Ilustrado por) · Klaus Havelund (Ilustrado por) · Ivan Perez (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 19 a 25 días háb.

138,57 €131,64 €

-5%

Libro Nuevo

Quedan más de 100 unidades

131,64 €

Llega entre el 20 Jul y el 30 Jul a Provincia de Madrid. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings (en Inglés)"

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings (en Inglés) - Deshmukh, Jyotirmoy V. ; Havelund, Klaus ; Perez, Ivan

Reseña del libro "NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre