Anbieter: BookAddiction (IOBA, IBooknet), Canterbury, Vereinigtes Königreich
Verbandsmitglied: IOBA
EUR 23,78
Anzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Good. xii, 613pp. Pictorial light card covers. 8vo. Lender applied self-adhesive semi-rigid plastic cover protection, shelf number label and tape on spine. Pages tanning. Otherwise, internally neat, clean and tight.
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1995
ISBN 10: 3540591559 ISBN 13: 9783540591559
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. 1995th Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Zustand: 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: Basi6 International, Irving, TX, USA
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Zustand: New.
Zustand: New.
Zustand: 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.
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Zustand: As New. Unread book in perfect condition.
Zustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642277047 ISBN 13: 9783642277047
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Paperback. Zustand: new. Paperback. This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design methodologies, tool integration and plug-ins, automation in formal verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Zustand: New. pp. 340.
EUR 60,19
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 340 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Zustand: New. pp. 340.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,39
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,39
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,39
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,39
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,82
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 57,03
Anzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,83
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 56,99
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 59,94
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 66,47
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Zustand: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
Zustand: New. 1st ed. 2019 edition NO-PA16APR2015-KAP.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2012
ISBN 10: 3642277047 ISBN 13: 9783642277047
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,61
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 337 pages. 9.50x6.25x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 3540697357 ISBN 13: 9783540697350
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,67
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 8th edition. 395 pages. 9.20x6.50x0.90 inches. In Stock.
Zustand: New.