Photo 1/1
Photo 1/1
Méthodes formelles NASA : 7ème symposium international. Havelund, Holzmann, Joshi<|-
85,14 GBP
Environ102,21 EUR
État :
Neuf
Livre neuf, n'ayant jamais été lu ni utilisé, en parfait état, sans pages manquantes ni endommagées. Consulter l'annonce du vendeur pour avoir plus de détails.
5 disponibles
Livraison :
Livraison peut-être pas offerte vers : États-Unis. Consultez la description de l'objet ou contactez le vendeur pour en savoir plus sur les options de livraison.
Lieu où se trouve l'objet : South East, Royaume-Uni
Délai de livraison :
Varie
Retours :
Retour sous 30 jours. L'acheteur paie les frais de retour.
Paiements :
Achetez 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 fournie par le vendeur
Informations sur le vendeur professionnel
WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Numéro de TVA :
- GB 724498118
Numéro d'immatriculation de la société :
- 03800600
Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.
Numéro CRN :
- 03800600
Catégories populaires de cette Boutique
Inscrit comme vendeur professionnel
Évaluations en tant que vendeur (3 050 121)
- h***d (67)- Évaluations laissées par l'acheteur.6 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)- Évaluations laissées par l'acheteur.6 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)- Évaluations laissées par l'acheteur.6 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.
Notes et avis sur le produit
Rédigez un avis en premier.
Découvrir d'autres objets :
- Manuels scolaires méthodes pour adulte et université,
- Livres, bandes dessinées et revues de non-fiction internationaux droits internationaux,
- Livres, bandes dessinées et revues de non-fiction international relations internationales,
- Livres, bandes dessinées et revues de non-fiction internationaux,
- Livres, bandes dessinées et revues de non-fiction internationaux livres,
- Livres, bandes dessinées et revues de non-fiction internationaux art,
- Livres, bandes dessinées et revues de non-fiction internationaux société,
- Livres, bandes dessinées et revues de non-fiction internationaux politiques,
- Livres, bandes dessinées et revues de non-fiction internationaux en français,
- Livres, bandes dessinées et revues de non-fiction internationaux en anglais