Photo 1/1
![Méthodes formelles NASA : 7ème symposium international. Havelund, Holzmann, Joshi<| - Photo 1/1](http://images.awesomebooks.com//images/books/large/97833/9783319175232.jpg?ihtml=ABLIST20240119)
Méthodes formelles NASA : 7ème symposium international. Havelund, Holzmann, Joshi<|
État :
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. Afficher les détailspour la 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. Afficher les détails- pour en savoir plus sur les retours
Paiements :
Achetez en toute confiance
Détails sur le vendeur
- 99,1% d'évaluations positives
Inscrit comme vendeur professionnel
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 Year
- 2015
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
- Item Height
- 235mm
- Publisher
- Springer International Publishing A&G
- Item Width
- 155mm
- Subject
- Computer Science
- Item Weight
- 718g
- 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
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
235mm
Item Width
155mm
Volume
9058
Item Weight
718g
Additional Product Features
Series Title
Programming and Software Engineering
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
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :296174265248
Livraison et expédition
Le vendeur n'a indiqué aucun mode de livraison vers le pays suivant : États-Unis. Contactez le vendeur pour lui demander d'envoyer l'objet à l'endroit où vous vous trouvez.
Lieu où se trouve l'objet :
South East, Royaume-Uni
Destination :
Australie, Canada, Japon, Royaume-Uni, Union européenne
Exclus :
Afghanistan, Allemagne, Autriche, Libye, Nauru, Russie, Somalie, Suisse, Ukraine, Yémen
Délai d'expédition |
---|
Envoi sous 5 jours ouvrés après réception du paiement. |
Taxes |
---|
Des taxes pourront être appliquées lors de la finalisation de l'achat. En savoir plusEn savoir plus sur le paiement des taxes sur les achats eBay |
Taxe de vente pour l'objet n°296174265248
Taxe de vente pour l'objet n°296174265248
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|
Conditions de retour
Une fois l'objet reçu, contactez le vendeur dans un délai de | Frais de retour |
---|---|
30 jours | L'acheteur paie les frais de retour |
L'acheteur doit payer les frais de retour.
Détails des conditions de retour |
---|
Retours acceptés |
Détails du paiement
Modes de paiement
Catégories populaires de cette Boutique
Inscrit comme vendeur professionnel
Évaluations en tant que vendeur (2.904.981)
r***t (146)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Quick delivery. No problems. Thanks!
9***9 (1)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
All good
d***d (961)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
excellent item