Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni
EUR 14,57
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.
Edité par Springer Berlin Heidelberg, 1996
ISBN 10 : 3540619291 ISBN 13 : 9783540619291
Langue: anglais
Vendeur : Buchpark, Trebbin, Allemagne
EUR 24,49
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
EUR 6,52
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
EUR 60,43
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 101,61
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 115,18
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Edité par Springer Berlin Heidelberg, 1996
ISBN 10 : 3540619291 ISBN 13 : 9783540619291
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 106,99
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : Best Price, Torrance, CA, Etats-Unis
EUR 96,05
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1996, 1996
ISBN 10 : 3540619291 ISBN 13 : 9783540619291
Langue: anglais
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
EUR 106,99
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 524 pp. Englisch.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 121,40
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
EUR 143,74
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 532.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 102,60
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1996
ISBN 10 : 3540619291 ISBN 13 : 9783540619291
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
EUR 106,09
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1996
ISBN 10 : 3540619291 ISBN 13 : 9783540619291
Langue: anglais
Vendeur : AussieBookSeller, Truganina, VIC, Australie
EUR 198,37
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. 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. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Edité par Springer Berlin Heidelberg, 1996
ISBN 10 : 3540619291 ISBN 13 : 9783540619291
Langue: anglais
Vendeur : moluna, Greven, Allemagne
EUR 92,27
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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.
Edité par Springer Berlin Heidelberg Okt 1996, 1996
ISBN 10 : 3540619291 ISBN 13 : 9783540619291
Langue: anglais
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 106,99
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 149,95
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : 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.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 152,99
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 532.