Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Buch
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: Ammareal, Morangis, Frankreich
Buch
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: Buchpark, Trebbin, Deutschland
Buch
Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Innen: Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. Fehlt: CD. | Seiten: 524 | Sprache: Englisch.
Verlag: Springer, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: GoldenWavesOfBooks, Fayetteville, TX, USA
Buch
Paperback. Zustand: new. New. Fast Shipping and good customer service.
Verlag: Springer, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: Big Bill's Books, Wimberley, TX, USA
Buch
Paperback. Zustand: new. Brand New Copy.
Verlag: Springer 06.12.1996., 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Buch
Zustand: Sehr gut. Auflage: 1996. 524 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969 23,6 x 15,5 x 2,0 cm, Taschenbuch.
Verlag: Springer, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: GoldBooks, Denver, CO, USA
Buch
Paperback. Zustand: new. New Copy. Customer Service Guaranteed.
Soft Cover. Zustand: new.
Verlag: Springer, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: GreatBookPrices, Columbia, MD, USA
Buch
Zustand: New.
Verlag: Springer, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Buch Print-on-Demand
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer Berlin Heidelberg Okt 1996, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate. 524 pp. Englisch.
Verlag: Springer, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: GreatBookPricesUK, Castle Donington, DERBY, Vereinigtes Königreich
Buch
Zustand: New.
Verlag: Springer, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: GreatBookPrices, Columbia, MD, USA
Buch
Zustand: As New. Unread book in perfect condition.
Verlag: Springer, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: Books Puddle, New York, NY, USA
Buch
Zustand: New. pp. 532.
Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: moluna, Greven, Deutschland
Buch Print-on-Demand
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large prog.
Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.
Verlag: Springer, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Buch Print-on-Demand
Zustand: New. Print on Demand pp. 532 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-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Buch
Zustand: New. In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. Editor(s): Abrial, J-.R.; Borger, E.; Langmaack, Hans. Series: Lecture Notes in Computer Science. Num Pages: 532 pages, biography. BIC Classification: KN; TGBN1; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738. . 1996. Paperback. . . . .
Verlag: Springer, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: GreatBookPricesUK, Castle Donington, DERBY, Vereinigtes Königreich
Buch
Zustand: As New. Unread book in perfect condition.
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996
ISBN 10: 3540619291ISBN 13: 9783540619291
Anbieter: Kennys Bookstore, Olney, MD, USA
Buch
Zustand: New. In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. Editor(s): Abrial, J-.R.; Borger, E.; Langmaack, Hans. Series: Lecture Notes in Computer Science. Num Pages: 532 pages, biography. BIC Classification: KN; TGBN1; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738. . 1996. Paperback. . . . . Books ship from the US and Ireland.