Photo 1/1

Vous en avez un à vendre ?

Vendez le vôtre

NASA Formal Methods : 11ème Symposium International, NFM 2019, Houston, TX, US<|-

État :

Neuf

Quantité :

5 disponibles

Prix :

84,72 GBP

Environ100,23 EUR

Pas d'inquiétude ! Retours acceptés.

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

Garantie client eBay

Obtenez un remboursement si vous ne recevez pas l'objet que vous avez commandé.

En savoir plusGarantie client eBay - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Détails sur le vendeur

baham_books (2238278)
99,1 % d'évaluations positives

Inscrit comme vendeur professionnel

Signaler cet objet - La page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :296193551183

Caractéristiques de l'objet

État: Neuf: Livre neuf, n'ayant jamais été lu ni utilisé, en parfait état, sans pages manquantes ni ...

PublishedOn: 2019-05-28

Title: NASA Formal Methods : 11th International Symposium, NFM 2019, Ho

ISBN: 9783030206512

Publication Year: 2019

Type: Textbook

Format: Paperback

Language: English

Publication Name: NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings

Item Height: 235mm

Author: Julia M. Badger, Kristin Yvonne Rozier

Publisher: Springer Nature Switzerland A&G

Item Width: 155mm

Subject: Computer Science

Item Weight: 635g

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

Author

Julia M. Badger, Kristin Yvonne Rozier

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

235mm

Item Width

155mm

Volume

11460

Item Weight

635g

Additional Product Features

Series Title

Lecture Notes in Computer Science

Country/Region of Manufacture

Switzerland

Editor

Kristin Yvonne Rozier, Julia M. Badger

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

Afficher les coordonnées

: enohpéléT60358080080

: liam-e esserdAmoc.aidemtumahab@yabe

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 :296193551183

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°296193551183

Le vendeur facture une taxe de vente pour les États suivants :

État	Taux de la taxe de vente

* La taxe s'applique au sous-total + frais de livraison et d'expédition pour ces États uniquement

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

Cliquez iciici pour en savoir plus sur les retours. Pour les transactions répondant aux conditions requises, vous êtes couvert par la Garantie client eBay si l'objet que vous avez reçu ne correspond pas à la description fournie dans l'annonce.

L'acheteur doit payer les frais de retour.

Détails des conditions de retour
Retours acceptés

Détails du paiement

Modes de paiement

Remarque : il se peut que certains modes de paiement ne soient pas disponibles lors de la finalisation de l'achat en raison de l'évaluation des risques associés à l'acheteur.