Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 29 (weekend SALE item)* 425 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Sprache: Englisch
Verlag: London ; Berlin ; Heidelberg ; New York ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1994
ISBN 10: 3540199020 ISBN 13: 9783540199021
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Softcover. XII, 425 S. : graph. Darst. ; 24 cm Like new. Unread book. --- Neuwertiger Zustand. Ungelesenes Buch. 9783540199021 Sprache: Deutsch Gewicht in Gramm: 771 Softcover reprint of the original 1st ed. 1994.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,62
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,62
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1991
ISBN 10: 3540539123 ISBN 13: 9783540539124
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Zustand: New. pp. 440.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 82,39
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 437 pages. 9.25x6.10x1.00 inches. In Stock.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact that it is a wide-spectrum language which supports many styles of specification makes it an excellent basis for the volume. It also examines some widely-used informal techniques, such as Venn diagrams and Petri nets, thus creating a strong link between current and future practice. Rather than proposing new pictorial notations the authors place existing ones into a coherent framework, and explain practical ways of exploiting them in conjunction with COLD-1.
Taschenbuch. Zustand: Neu. Algebraic Methods II: Theory, Tools and Applications | Jan A. Bergstra (u. a.) | Taschenbuch | viii | Englisch | 1991 | Springer | EAN 9783540539124 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 120,54
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 444 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Sprache: Englisch
Verlag: Medical Info Science Reference, 2012
ISBN 10: 1466609753 ISBN 13: 9781466609754
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 245,81
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Medical Information Science Reference, 2012
ISBN 10: 1466609753 ISBN 13: 9781466609754
Anbieter: Redux Books, Grand Rapids, MI, USA
Hardcover. Zustand: New. Hardcover. An unused, unmarked and unblemished copy.; 100% Satisfaction Guaranteed! Ships same or next business day!
Sprache: Englisch
Verlag: Medical Info Science Reference, 2012
ISBN 10: 1466609753 ISBN 13: 9781466609754
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 245,18
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Medical Info Science Reference, 2012
ISBN 10: 1466609753 ISBN 13: 9781466609754
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 245,16
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Medical Info Science Reference, 2012
ISBN 10: 1466609753 ISBN 13: 9781466609754
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 275,71
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Medical Info Science Reference, 2012
ISBN 10: 1466609753 ISBN 13: 9781466609754
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 272,41
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Verlag: DeSForM, 2015
Anbieter: Concept Books, Veldhoven, Niederlande
Soft cover. Zustand: Near Fine. Paperback. Proceedings of the DeSForM 2013 conference held in Wuxi, China. Black & white illustrations. 214 pp. 29 x 21 cm.
Sprache: Englisch
Verlag: Springer, Springer Spektrum Okt 1994, 1994
ISBN 10: 3540199020 ISBN 13: 9783540199021
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact that it is a wide-spectrum language which supports many styles of specification makes it an excellent basis for the volume. It also examines some widely-used informal techniques, such as Venn diagrams and Petri nets, thus creating a strong link between current and future practice. Rather than proposing new pictorial notations the authors place existing ones into a coherent framework, and explain practical ways of exploiting them in conjunction with COLD-1. 440 pp. Englisch.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1991, 1991
ISBN 10: 3540539123 ISBN 13: 9783540539124
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394. 444 pp. Englisch.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 83,36
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 440 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 440.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1991
ISBN 10: 3540539123 ISBN 13: 9783540539124
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: 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 volume originates from a workshop organized within ESPRIT Project 432 METEOR, belonging to subprogramme 2 on Software Technology. It is a successor to volume 394 of this Lecture Notes series.Formalizing informal requirements some aspects.- ViewPoin.
Anbieter: moluna, Greven, Deutschland
EUR 48,37
Anzahl: 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. Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. It examines COLD-1, which is currently being implemented by.
Sprache: Englisch
Verlag: Springer, Springer Okt 1994, 1994
ISBN 10: 3540199020 ISBN 13: 9783540199021
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact that it is a wide-spectrum language which supports many styles of specification makes it an excellent basis for the volume. It also examines some widely-used informal techniques, such as Venn diagrams and Petri nets, thus creating a strong link between current and future practice. Rather than proposing new pictorial notations the authors place existing ones into a coherent framework, and explain practical ways of exploiting them in conjunction with COLD-1.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 440 pp. Englisch.
Sprache: Englisch
Verlag: Springer, Springer Apr 1991, 1991
ISBN 10: 3540539123 ISBN 13: 9783540539124
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume originates from a workshop organized within ESPRIT Project 432 METEOR, belonging to subprogramme 2 on Software Technology. It is a successor to volume 394 of this Lecture Notes series.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 444 pp. Englisch.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 255,44
Anzahl: Mehr als 20 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Anbieter: PBShop.store US, Wood Dale, IL, USA
HRD. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.