Libros importados hasta 50% OFF + Envío Gratis a todo USA  Ver más

menu

0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings (in English)
Type
Physical Book
Publisher
Language
Inglés
Pages
490
Format
Paperback
Dimensions
23.4 x 15.6 x 2.6 cm
Weight
0.72 kg.
ISBN13
9783031331695

NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings (in English)

Rozier, Kristin Yvonne ; Chaudhuri, Swarat (Author) · Springer · Paperback

NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings (in English) - Rozier, Kristin Yvonne ; Chaudhuri, Swarat

Physical Book

$ 94.73

$ 99.99

You save: $ 5.26

5% discount
  • Condition: New
It will be shipped from our warehouse between Tuesday, July 16 and Wednesday, July 17.
You will receive it anywhere in United States between 1 and 3 business days after shipment.

Synopsis "NASA Formal Methods: 15th International Symposium, Nfm 2023, Houston, Tx, Usa, May 16-18, 2023, Proceedings (in English)"

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews