NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings - Brossura
Sinossi
This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.
The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions. They focus on formalization of natural language
requirements, contracts, theorem proving and rewriting logic, probabilistic model checking, automated constraint solving, static analysis, runtime verification, testing, automata learning, formal semantics and verification of programming languages, verification of AI systems, AI-assisted formal verification, and large language models (LLMs).
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per NASA Formal Methods: 18th International Symposium,...
Foto dell'editore
NASA Formal Methods (Paperback)
Editore:
Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032280788
ISBN 13: 9783032280787
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions. They focus on formalization of natural languagerequirements, contracts, theorem proving and rewriting logic, probabilistic model checking, automated constraint solving, static analysis, runtime verification, testing, automata learning, formal semantics and verification of programming languages, verification of AI systems, AI-assisted formal verification, and large language models (LLMs). This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9783032280787
Compra nuovo
EUR 87,54
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings (Lecture Notes in Computer Science, 16622)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo I-9783032280787
Compra nuovo
EUR 87,55
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
NASA Formal Methods
ISBN 10: 3032280788
ISBN 13: 9783032280787
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions. They focus on formalization of natural languagerequirements, contracts, theorem proving and rewriting logic, probabilistic model checking, automated constraint solving, static analysis, runtime verification, testing, automata learning, formal semantics and verification of programming languages, verification of AI systems, AI-assisted formal verification, and large language models (LLMs). 568 pp. Englisch. Codice articolo 9783032280787
Compra nuovo
EUR 79,17
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
NASA Formal Methods
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Codice articolo 3224374055
Compra nuovo
EUR 69,44
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5?7, 2026, Proceedings (Lecture Notes in Computer Science, 16622)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26406571422
Compra nuovo
EUR 125,76
Spedizione EUR 3,50
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 57, 2026, Proceedings (Lecture Notes in Computer Science, 16622)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 583 pages. 6.14x1.19x9.21 inches. In Stock. Codice articolo x-3032280788
Compra nuovo
EUR 118,66
Spedizione EUR 14,65
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
NASA Formal Methods (Paperback)
Editore:
Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032280788
ISBN 13: 9783032280787
Nuovo
Paperback
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions. They focus on formalization of natural languagerequirements, contracts, theorem proving and rewriting logic, probabilistic model checking, automated constraint solving, static analysis, runtime verification, testing, automata learning, formal semantics and verification of programming languages, verification of AI systems, AI-assisted formal verification, and large language models (LLMs). This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9783032280787
Compra nuovo
EUR 92,95
Spedizione EUR 43,37
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5?7, 2026, Proceedings (Lecture Notes in Computer Science, 16622)
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 407664193
Compra nuovo
EUR 130,11
Spedizione EUR 7,62
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
NASA Formal Methods
Print on DemandDa: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026. The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions. They focus on formalization of natural language requirements, contracts, theorem proving and rewriting logic, probabilistic model checking, automated constraint solving, static analysis, runtime verification, testing, automata learning, formal semantics and verification of programming languages, verification of AI systems, AI-assisted formal verification, and large language models (LLMs).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 584 pp. Englisch. Codice articolo 9783032280787
Compra nuovo
EUR 79,17
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
NASA Formal Methods: 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5?7, 2026, Proceedings (Lecture Notes in Computer Science, 16622)
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 18406571412
Compra nuovo
EUR 129,27
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili