Photo 1 sur 1
Photo 1 sur 1
Méthodes formelles NASA : 7ème symposium international. Havelund, Holzmann, Joshi<|
85,14 GBP
Environ153,41 $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 :296174265248
Caractéristiques de l'objet
- État
- PublishedOn
- 2015-04-09
- Title
- NASA Formal Methods : 7th International Symposium, NFM 2015, Pas
- ISBN
- 9783319175232
- Publication Name
- NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
- Publisher
- Springer International Publishing A&G
- Subject
- Computer Science
- Series
- Programming and Software Engineering
- Publication Year
- 2015
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Item Height
- 235 mm
- Item Width
- 155 mm
- Item Weight
- 718 g
- Number of Pages
- 458 Pages
À propos de ce produit
Product Information
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.
Product Identifiers
Publisher
Springer International Publishing A&G
ISBN-13
9783319175232
eBay Product ID (ePID)
213004434
Product Key Features
Series
Programming and Software Engineering
Publication Name
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2015
Type
Textbook
Number of Pages
458 Pages
Dimensions
Item Height
235 mm
Item Width
155 mm
Item Weight
718 g
Volume
9058
Additional Product Features
Country/Region of Manufacture
Switzerland
Editor
Rajeev Joshi, Gerard Holzmann, Klaus Havelund
Description de l'objet du vendeur
Informations sur le vendeur professionnel
Numéro de TVA :
- GB 724498118
Évaluations comme vendeur (3 049 917)
- 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.Six derniers 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.