Tracked shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings
Type
Physical Book
Illustrated by
Publisher
Author
Language
English
Pages
828
Format
Paperback
Dimensions
23.4 x 15.6 x 4.3 cm
Weight
1.17 kg.
ISBN13
9783031067723
Categories

NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings

Jyotirmoy V. Deshmukh (Illustrated by) · Klaus Havelund (Illustrated by) · Ivan Perez (Illustrated by) · Springer · Paperback

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

Cheaper New Book Imported to Taiwan
Delivery: 07 Aug - 21 Aug Shipping: 20 to 25 business days.
NT$ 4,194
Faster New Book Imported to Taiwan
Delivery: 28 Jul - 05 Aug Shipping: 12 to 13 business days.
NT$ 5,370
NT$ 4,194

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "NASA Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings "

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.

Customers reviews

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

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

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