Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 53,44
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 61,32
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 61,53
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 61,09
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 61,08
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 67,28
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 83,78
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Langue: anglais
Edité par Springer-Verlag New York Inc, 2014
ISBN 10 : 3319101803 ISBN 13 : 9783319101804
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 81,94
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2014 edition. 404 pages. 9.25x6.10x1.00 inches. In Stock.
Langue: anglais
Edité par Springer International Publishing, Springer International Publishing, 2014
ISBN 10 : 3319101803 ISBN 13 : 9783319101804
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 53,49
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.
Vendeur : preigu, Osnabrück, Allemagne
EUR 50,40
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Integrated Formal Methods | 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings | Elvira Albert (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2014 | Springer | EAN 9783319101804 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
EUR 46,22
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : new. Questo è un articolo print on demand.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 83,31
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. Print on Demand.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 83,20
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND.