Numerical software verification 9th (11 résultats)
Numerical Software Verification : 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected Papers
Bogomolov, Sergiy (EDT); Martel, Matthieu (EDT); Prabhakar, Pavithra (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,59
EUR 2,27 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Numerical Software Verification : 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected Papers
Bogomolov, Sergiy (EDT); Martel, Matthieu (EDT); Prabhakar, Pavithra (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 61,06
EUR 2,27 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 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 60,57
EUR 13,87 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Numerical Software Verification : 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected Papers
Bogomolov, Sergiy (EDT); Martel, Matthieu (EDT); Prabhakar, Pavithra (EDT)
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,55
EUR 17,36 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : Books Puddle, New York, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 76,33
EUR 3,43 expéditionExpédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. pp. 107.
Numerical Software Verification : 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected Papers
Bogomolov, Sergiy (EDT); Martel, Matthieu (EDT); Prabhakar, Pavithra (EDT)
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 66,40
EUR 17,36 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Numerical Software Verification: 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected Papers
Bogomolov, Sergiy (Editor)/ Martel, Matthieu (Editor)/ Prabhakar, Pavithra (Editor)
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 75,58
EUR 23,15 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Paperback. Etat : Brand New. 116 pages. 9.25x6.10x0.27 inches. In Stock.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 57,68
EUR 60,96 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verifi…cation. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 50,35
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : Neu. Numerical Software Verification | 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers | Sergiy Bogomolov (u. a.) | Taschenbuch | vii | Englisch | 2017 | Springer | EAN 9783319542911 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr.…17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Couverture souple
- impression à la demande
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 76,29
EUR 7,52 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. Print on Demand pp. 107.
- Couverture souple
- impression à la demande
Vendeur : Biblios, frankfurt am main, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 77,20
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Etat : New. PRINT ON DEMAND pp. 107.
