Nasa formal methods 9th (10 résultats)
Nasa Formal Methods : 9th International Symposium, Nfm 2017, Moffett Field, Ca, USA, May 16-18, 2017, Proceedings
Barrett, Clark (EDT); Davies, Misty (EDT); Kahsai, Temesghen (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,69
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponibles
Etat : New.
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 62,39
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Nasa Formal Methods : 9th International Symposium, Nfm 2017, Moffett Field, Ca, USA, May 16-18, 2017, Proceedings
Barrett, Clark (EDT); Davies, Misty (EDT); Kahsai, Temesghen (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 64,42
EUR 2,35 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 68,46
EUR 13,41 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In English.
- Couverture souple
Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 88,83
EUR 3,55 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponibles
Etat : New. pp. 436.
Nasa Formal Methods: 9th International Symposium, Nfm 2017, Moffett Field, Ca, USA, May 16-18, 2017, Proceedings
Barrett, Clark (Editor)/ Davies, Misty (Editor)/ Kahsai, Temesghen (Editor)
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 84,29
EUR 14,85 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponibles
Paperback. Etat : Brand New. 448 pages. 9.25x6.10x1.02 inches. In Stock.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 66,40
EUR 35,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 9th International Symposiumon NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017.The 23 full and 8 short papers presented in this volume were carefullyreviewed and selected from 77 submissions. The papers focuson formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.…
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 143,15
EUR 29,70 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible
Paperback. Etat : New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Couverture souple
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 88,28
EUR 7,72 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponibles
Etat : New. Print on Demand pp. 436.
- Couverture souple
- impression à la demande
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 88,48
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponibles
Etat : New. PRINT ON DEMAND pp. 436.
