Articles liés à Nasa Formal Methods: 14th International Symposium,...
Nasa Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, USA, May 24–27, 2022, Proceedings - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Nasa Formal Methods: 14th International Symposium,...
Image fournie par le vendeur
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24â"27, 2022, Proceedings (Lecture Notes in Computer Science, 13260)
Edité par
Springer, 2022
ISBN 10 : 303106772X
ISBN 13 : 9783031067723
Ancien ou d'occasion
Couverture souple
Vendeur : Big River Books, Powder Springs, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : very_good. This book is in Very Good condition. The cover and pages have minor shelf wear. Binding is tight and pages are intact. N° de réf. du vendeur BRV.303106772X.VG
Acheter D'occasion
EUR 104,99
Expédition à EUR 3,42
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Nasa Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24-27, 2022, Proceedings: 13260 (Lecture Notes in Computer Science, 13260) [Paperback] [May 20, 2022] Deshmukh, Jyotirmoy V.; Havelund, Klaus and Perez, Ivan
Vendeur : StainesBook, Weybridge, SURRE, Royaume-Uni
Évaluation du vendeur 1 sur 5 étoiles
Etat : New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage. N° de réf. du vendeur SPRINGERNEWLISTING101301
Acheter neuf
EUR 81,20
Expédition à EUR 34,95
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Nasa Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, USA, May 2427, 2022, Proceedings
Edité par
Springer-Nature New York Inc, 2022
ISBN 10 : 303106772X
ISBN 13 : 9783031067723
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 850 pages. 9.25x6.10x1.89 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __303106772X
Acheter neuf
EUR 131,98
Expédition à EUR 17,47
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
NASA Formal Methods
Edité par
Springer International Publishing Mai 2022, 2022
ISBN 10 : 303106772X
ISBN 13 : 9783031067723
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 852 pp. Englisch. N° de réf. du vendeur 9783031067723
Acheter neuf
EUR 139,09
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
NASA Formal Methods
Edité par
Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10 : 303106772X
ISBN 13 : 9783031067723
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. N° de réf. du vendeur 584144140
Acheter neuf
EUR 118,61
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
NASA Formal Methods | 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. NASA Formal Methods | 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings | Jyotirmoy V. Deshmukh (u. a.) | Taschenbuch | xxii | Englisch | 2022 | Springer | EAN 9783031067723 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 121437079
Acheter neuf
EUR 122,15
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
Edité par
Springer, 2022
ISBN 10 : 303106772X
ISBN 13 : 9783031067723
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Hervorragend. Zustand: Hervorragend | Seiten: 852 | Sprache: Englisch | Produktart: Bücher | 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. N° de réf. du vendeur 38794706/1
Acheter D'occasion
EUR 90,70
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
NASA Formal Methods
Edité par
Springer, Palgrave Macmillan Mai 2022, 2022
ISBN 10 : 303106772X
ISBN 13 : 9783031067723
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 852 pp. Englisch. N° de réf. du vendeur 9783031067723
Acheter neuf
EUR 139,09
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783031067723
Acheter neuf
EUR 148,90
Expédition à EUR 66,32
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
NASA Formal Methods
Edité par
Springer, 2022
ISBN 10 : 303106772X
ISBN 13 : 9783031067723
Ancien ou d'occasion
Softcover
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : gut. 2022. NASA Formal Methods In deutscher Sprache. pages. N° de réf. du vendeur BN476430
Acheter D'occasion
EUR 269,90
Expédition à EUR 39,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)