Photo 1 sur 1
Photo 1 sur 1
NASA Formal Methods : 11ème Symposium International, NFM 2019, Houston, TX, US<|
84,72 GBP
Environ152,74 $C
État :
Entièrement neuf
Un livre neuf, non lu, non utilisé et en parfait état, sans aucune page manquante ni endommagée.
5 disponibles
Expédition :
Expédition non garantie vers : États-Unis. Pour connaître les options d'expédition, veuillez consulter la description de l'objet ou contacter le vendeur..
Lieu : South East, Royaume-Uni
Livraison :
Variable
Renvois :
Renvoi sous 30jours. L'acheteur paie les frais de renvoi.
Paiements :
Magasinez en toute confiance
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :296193551183
Caractéristiques de l'objet
- État
- PublishedOn
- 2019-05-28
- Title
- NASA Formal Methods : 11th International Symposium, NFM 2019, Ho
- ISBN
- 9783030206512
- Publication Name
- NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
- Publisher
- Springer Nature Switzerland A&G
- Subject
- Computer Science
- Series
- Lecture Notes in Computer Science
- Publication Year
- 2019
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Item Height
- 235 mm
- Item Width
- 155 mm
- Item Weight
- 635 g
- Number of Pages
- 392 Pages
À propos de ce produit
Product Information
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
Product Identifiers
Publisher
Springer Nature Switzerland A&G
ISBN-13
9783030206512
eBay Product ID (ePID)
16046536459
Product Key Features
Series
Lecture Notes in Computer Science
Publication Name
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2019
Type
Textbook
Number of Pages
392 Pages
Dimensions
Item Height
235 mm
Item Width
155 mm
Item Weight
635 g
Volume
11460
Additional Product Features
Country/Region of Manufacture
Switzerland
Editor
Kristin Yvonne Rozier, Julia M. Badger
Description de l'objet du vendeur
Informations sur le vendeur professionnel
Numéro de TVA :
- GB 724498118
Évaluations comme vendeur (3 048 641)
- h***d (67)- Évaluation laissée par l'acheteur.Six derniers moisAchat vérifiéReally good considering the age of it. Item received very well packaged. Just as described - ‘very good’. Would have been delivered within its due date but Royal Mail were to blame as they had it in the delivery office but didn’t send someone out to deliver that day. This is an issue with Royal Mail all the time so don’t always assume the seller didn’t send it. Good communication and highly recommend this seller.
- x***o (887)- Évaluation laissée par l'acheteur.Dernier moisAchat vérifiéWhat you see is what you get. With checkout complete, item securely packaged it was shipped swiftly. It really adds to the “eBay experience”, restoring your faith in people/eBay sellers when you’ve found something you like, and having checked the description, you need more information, or simply clarification on something, you ask the question(s), the seller then responds with a promptly: filling in the gaps. A very smooth transaction. I would purchase from this seller again. Thank you.
- e***- (249)- Évaluation laissée par l'acheteur.Six derniers moisAchat vérifiéVery positive experience buying from this seller, the book is as described and very low priced, along with free postage it would be very hard to beat such good value. My purchase was delivered swiftly and securely packaged. I have bought from this seller before and would do again. Communication is excellent and I can highly recommend this seller for great service and unbeatable value. 5 🌟 all round.