Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer-Verlag, OHG, Berlin, Germany, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: SUNSET BOOKS, Newark, OH, U.S.A.
Book First Edition
Paperback. Condition: Good. No Jacket. 1st. Wear/soil. W/full markings and pocket. 455 numbered pages, 459 for Amz. Size: 8vo Size: 8vo - over 7¾ - 9¾" tall. Ex-Library.
Published by Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Book
Broschiert. Condition: Gut. XIV, 455 Seiten : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 740.
Published by Springer Berlin, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: ralfs-buecherkiste, Herzfelde, MOL, Germany
Book
Paperback/ broschiert. Condition: Wie neu. 455 S. Computerwissenschaften Befriedigender Zustand Ex-Library. Stamped edges. Brownish paper. ha1088554 Sprache: Englisch Gewicht in Gramm: 1050.
Published by Springer, 1986
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Very Good. Ex-library paperback in nice condition with the usual markings and attachments.
Published by Springer, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer 1985-03, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 476.
Published by Springer, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer Berlin Heidelberg Mrz 1985, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of modules.- Intuition in software development.- A rational design process: How and why to fake it.- Formalization in systems development.- Specifying and prototyping: Some thoughts on why they are successful.- A formal specification of line representations on graphics devices.- Experiences with the PSG ¿ Programming System Generator.- Software construction using typed fragments.- Graph grammar engineering: A method used for the development of an integrated programming support environment.- Multidimensional tree-structured file spaces.- A theory of abstract data types for program development: Bridging the gap .- Program development and documentation by informal transformations and derivations.- ASSPEGIQUE: An integrated environment for algebraic specifications.- Application of PROLOG to test sets generation from algebraic specifications.- A PROLOG environment for developing and reasoning about data types.- Algebraic specification of synchronisation and errors: A telephonic example.- Modelling concurrent modules.- Synthesis of parallel programs invariants.- Analyzing safety and fault tolerance using Time Petri nets.- Algebraic specification of a communication scheduler.- The integration and distribution phase in the software life cycle.- Formalized software development in an industrial environment.- Object oriented concurrent programming and industrial software production.- Experience of introducing the Vienna development method into an industrial organisation.- EDP system development methodology: Auditability and control.- Experiences with object oriented programming. 476 pp. Englisch.
Published by Springer, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: Majestic Books, Hounslow, United Kingdom
Book Print on Demand
Condition: New. Print on Demand pp. 476 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Published by Springer, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of modules.- Intuition in software development.- A rational design process: How and why to fake it.- Formalization in systems development.- Specifying and prototyping: Some thoughts on why they are successful.- A formal specification of line representations on graphics devices.- Experiences with the PSG ¿ Programming System Generator.- Software construction using typed fragments.- Graph grammar engineering: A method used for the development of an integrated programming support environment.- Multidimensional tree-structured file spaces.- A theory of abstract data types for program development: Bridging the gap .- Program development and documentation by informal transformations and derivations.- ASSPEGIQUE: An integrated environment for algebraic specifications.- Application of PROLOG to test sets generation from algebraic specifications.- A PROLOG environment for developing and reasoning about data types.- Algebraic specification of synchronisation and errors: A telephonic example.- Modelling concurrent modules.- Synthesis of parallel programs invariants.- Analyzing safety and fault tolerance using Time Petri nets.- Algebraic specification of a communication scheduler.- The integration and distribution phase in the software life cycle.- Formalized software development in an industrial environment.- Object oriented concurrent programming and industrial software production.- Experience of introducing the Vienna development method into an industrial organisation.- EDP system development methodology: Auditability and control.- Experiences with object oriented programming.
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of modules.- Intuition in software development.- A rational de.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New. Editor(s): Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, biography. BIC Classification: GBC; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 662. . 1985. Paperback. . . . .
Published by Springer, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Very Good. Very Good. book.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1985
ISBN 10: 3540151990ISBN 13: 9783540151999
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New. Editor(s): Ehrig, Hartmut; Floyd, Christiane; Nivat, Maurice; Thatcher, James. Series: Lecture Notes in Computer Science. Num Pages: 476 pages, biography. BIC Classification: GBC; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 24. Weight in Grams: 662. . 1985. Paperback. . . . . Books ship from the US and Ireland.