Verwandte Artikel zu NASA Formal Methods: 14th International Symposium,...
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (Lecture Notes in Computer Science, 13260, Band 13260) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für NASA Formal Methods: 14th International Symposium,...
Foto des Verkäufers
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24â"27, 2022, Proceedings (Lecture Notes in Computer Science, 13260)
Anbieter: Big River Books, Powder Springs, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: very_good. This book is in Very Good condition. The cover and pages have minor shelf wear. Binding is tight and pages are intact. Bestandsnummer des Verkäufers BRV.303106772X.VG
Gebraucht kaufen
EUR 109,43
EUR 3,56 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
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
Anbieter: StainesBookhub, Weybridge, SURRE, Vereinigtes Königreich
Verkäuferbewertung 1 von 5 Sternen
Zustand: New. A brand new book in pristine condition. Showing zero signs of shelf wear, creases, or damage. Bestandsnummer des Verkäufers SPRINGERNEWLISTING101301
Neu kaufen
EUR 84,63
EUR 35,39 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
NASA Formal Methods (eng)
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers GXGO0N7YN2
Neu kaufen
EUR 110,26
EUR 11,00 Versand
Versand von Italien nach USA
Versand von Italien nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
NASA Formal Methods
Verlag:
Springer International Publishing Mai 2022, 2022
ISBN 10: 303106772X
ISBN 13: 9783031067723
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783031067723
Neu kaufen
EUR 139,09
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
NASA Formal Methods
ISBN 10: 303106772X
ISBN 13: 9783031067723
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. Zustand: 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. Bestandsnummer des Verkäufers 584144140
Neu kaufen
EUR 118,61
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783031067723
Neu kaufen
EUR 147,72
EUR 43,85 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
NASA Formal Methods | 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 121437079
Neu kaufen
EUR 122,20
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 38794706/1
Gebraucht kaufen
EUR 90,70
EUR 105,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
NASA Formal Methods
Verlag:
Springer, Palgrave Macmillan Mai 2022, 2022
ISBN 10: 303106772X
ISBN 13: 9783031067723
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783031067723
Neu kaufen
EUR 139,09
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar