Order Total (1 Item Items):
Shipping Destination:
Manfred Broy (747 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (747)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Collectible Attributes
- First Edition (6)
- Signed (No further results match this refinement)
- Dust Jacket (3)
- Seller-Supplied Images (331)
- Not Print on Demand (529)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)
Language: English
Published by Springer-Verlag, Berlin, 1993
ISBN 10: 038757316X ISBN 13: 9780387573168
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 735 .Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
Control Flow and Data Flow: Concepts of Distributed Programming (Nato Asi Series, Vol 14)
Seller: Once Upon A Time Books, Siloam Springs, AR, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Good. This is a used book in good condition and may show some signs of use or wear . This is a used book in good condition and may show some signs of use or wear .
-
Constructive Methods in Computing Science: International Summer School (NATO ASI Series F: Computer and Systems Sciences, Volume 55)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, Jan. 5 (weekend sale item)* 478 pp., hardcover, ex library, else text and binding clean and tight. - 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.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report Lecture Notes in Computer Science, 1009
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 449 Seiten Der Buchzustand ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 635.
-
Formal Systems Specification: The Rpc-Memory Specification Case Study
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540619844 ISBN 13: 9783540619840
Softcover. Condition: 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.
-
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
Book 13 of 16: Monographs in Computer ScienceLanguage: English
Published by Springer-Verlag New York Inc., 2001
ISBN 10: 0387950737 ISBN 13: 9780387950730
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Program Design Calculi
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993
ISBN 10: 354056943X ISBN 13: 9783540569435
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
Seller: Antiquariat im Kaiserviertel | Wimbauer Buchversand, Dortmund, NRW, Germany
Seller rating 5 out of 5 stars
BN. Condition: Gut. 449 S. exBibliotheksexemplar mit den üblichen Stempeln/Signaturen, Kanten etwas berieben / bestossen, etwas angegrauter Einband, papierbedingte Seitenbräunung /// Standort Wimregal ISS-09220 ISBN 3540605894 Sprache: Englisch Gewicht in Gramm: 638.
-
The Future of Software Engineering: Panel Discussions
Language: English
Published by Lonely Scholar 2011-11-01, 2011
ISBN 10: 9491386018 ISBN 13: 9789491386015
US$ 13.10
US$ 20.86 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: New.
-
The Future of Software Engineering: Panel Discussions
Language: English
Published by Lonely Scholar 2011-11-01, 2011
ISBN 10: 9491386018 ISBN 13: 9789491386015
US$ 13.51
US$ 20.86 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Condition: New. pp. 370.
-
Condition: New. pp. 370 Illus.
-
Control Flow and Data Flow: Concepts of Distributed Programming (Nato Asi Series, Vol 14)
Seller: Orca Knowledge Systems, Inc., Novato, CA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Dust Jacket Condition: No DJ. Ex University of California, Berkeley library book with usual library markings. Light wear. Binding is tight, text clean.
-
Program Design Calculi (Nato a S I Series Series III, Computer and Systems Sciences, Vol. 118)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Fine. *Price HAS BEEN REDUCED by 10% until Monday, Jan. 5 (weekend sale item)* 409 pp., hardcover, LIKE NEW! - 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.
-
Methods of programming : selected papers on the CIP project. Lecture notes in computer science ; 544
Language: English
Published by Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
ISBN 10: 354054576X ISBN 13: 9783540545767
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 268 S. Das Buch ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430.
-
-
Condition: New. pp. 176.
-
Condition: New. pp. 176 Illus.
-
-
Condition: New. pp. 370.
-
Deductive Program Design (NATO Asi Series. Series F, Computer and Systems Sciences)
Seller: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Germany
Seller rating 4 out of 5 stars
Gebundene Ausgabe. Condition: Neu. Neu Neuware; original eingeschweisst; new item, still sealed; -Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art. 467 pp. Englisch.
-
Perspectives of System Informatics. 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers.
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 5 out of 5 stars
XIII, 548 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2244. Sprache: Englisch.
-
Condition: New. pp. 176.
-
Softcover. Condition: Bon. Ancien livre de bibliothèque. Couverture différente. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Condition: As New. Unread book in perfect condition.
