Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2008
ISBN 10: 3540688625 ISBN 13: 9783540688624
Sprache: Englisch
Anbieter: Ammareal, Morangis, Frankreich
EUR 19,92
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
Anbieter: Basi6 International, Irving, TX, USA
EUR 27,68
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
EUR 27,69
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: SMASS Sellers, IRVING, TX, USA
EUR 29,26
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 45,75
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 276.
EUR 43,94
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 276.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 44,01
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 276 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540688625 ISBN 13: 9783540688624
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.
Anbieter: Basi6 International, Irving, TX, USA
EUR 55,31
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540688625 ISBN 13: 9783540688624
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.
Anbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
EUR 56,06
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: New. Brand New! Fast Delivery US Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
EUR 56,90
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Brand New. Brand New! Fast Delivery, Delivery With In 7-10 working Day Only , USA Edition Original Edition. Excellent Quality, Printing In English Language, Quick delivery by FEDEX & DHL. USPS & UPS Act. Our courier service is not available at PO BOX& APO BOX. Ship from India & United States.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,03
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,43
Währung umrechnenAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: California Books, Miami, FL, USA
EUR 65,78
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GuthrieBooks, Spring Branch, TX, USA
EUR 12,53
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540688625 ISBN 13: 9783540688624
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,81
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2008 edition. 258 pages. 9.50x6.50x0.75 inches. In Stock.
Anbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
EUR 106,47
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbPaperback. Zustand: New. Brand New! Fast Delivery US Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Anbieter: URW Books Store, CASPER, WY, USA
EUR 106,61
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. Brand New! Fast Delivery, Delivery within 7-12 working Day Only, USA Edition Original Edition. Excellent Quality, Printing in English Language, Quick delivery by FEDEX & DHL. USPS & UPS Act. Our courier service is not available at PO BOX& APO BOX. Ship from India & United States.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 52,93
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540688625 ISBN 13: 9783540688624
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with .
Verlag: Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540688625 ISBN 13: 9783540688624
Sprache: Englisch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
EUR 53,49
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods. 276 pp. Englisch.