Order Total (1 Item Items):
Shipping Destination:
Methods Programming Selected Papers (39 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (39)
- 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
- New (30)
- As New, Fine or Near Fine (4)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (39)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (7)
- Not Print on Demand (39)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Methods of programming : selected papers on the CIP project. Lecture notes in computer science ; 544
Published by Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
ISBN 10: 354054576X ISBN 13: 9783540545767
Language: English
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
£ 17.02
Convert currency£ 6.93 shipping from Germany to United KingdomQuantity: 1 available
Add to basketBroschiert. Condition: Gut. 268 S. Das Buch ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430.
-
£ 15.34
Convert currency£ 17.10 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: VERY GOOD. A very nice copy. No marks of any kind. Uncreased spine. Very mild cover wear. **We provide professional service and individual attention to your order, daily shipments, and sturdy packaging. FREE TRACKING ON ALL SHIPMENTS WITHIN USA.
-
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 39.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science, 544)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
PF. Condition: New.
-
Paperback. Condition: New.
-
Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 34.57
Convert currency£ 22.32 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
Methods of Programming : Selected Papers on the CIP-Project
Published by Springer Berlin Heidelberg, 1991
ISBN 10: 354054576X ISBN 13: 9783540545767
Language: English
£ 48.03
Convert currency£ 12.20 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The systematic development of software systems is a centraltask of computing science. A software system is the resultof putting together knowledge about the application, therequirements and the structures of computing science.Under the heading CIP (Computer-aided Intuition-guidedProgramming), a group of researchers led by Prof. F.L. Bauerand Prof. K. Samelson started work in 1975 in the directionof formal program specification, transformationalprogramming, and tool supportfor program development.The collection of papers in this volume presents examples ofa formal approach to programming language concepts andprogram development based on algebraic specifications andprogram transformations. Examples are also presented ofevolutions and modificationsof the original ideas of theCIP project. The topics range from descriptionsof theprogram development process to derivations of algorithmsfrom specifications.The volume is dedicated to Prof. F.L. Bauer.
-
£ 38.37
Convert currency£ 22.32 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
Paperback. Condition: Brand New. 2014 edition. 172 pages. 9.00x6.00x0.50 inches. In Stock.
-
£ 46.66
Convert currency£ 14.88 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: New.
-
£ 46.69
Convert currency£ 14.88 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New.
-
£ 56.74
Convert currency£ 7.44 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 42.17
Convert currency£ 22.32 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
£ 42.17
Convert currency£ 22.32 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
£ 42.17
Convert currency£ 22.32 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
Methods of Programming: Selected Papers on the CIP-Project
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
£ 63.86
Convert currency£ 2.62 shipping from Ireland to United KingdomQuantity: 15 available
Add to basketCondition: New. 1991. Paperback. . . . . .
-
£ 52.95
Convert currency£ 14.88 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 54.32
Convert currency£ 14.88 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 12.41
Convert currency£ 55.84 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: 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. Text block clean and unmarked. Tight binding.
-
Paperback. Condition: Brand New. int rev edition. 220 pages. 9.00x6.25x0.50 inches. In Stock.
-
Methods and Tools of Parallel Programming Multicomputers : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
Published by Springer-Verlag GmbH, 2010
ISBN 10: 3642148212 ISBN 13: 9783642148217
Language: English
£ 52.73
Convert currency£ 20.84 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Methods and Tools of Parallel Programming Multicomputers: Second Russia-taiwan Symposium, Mtpp 2010 Vladivostok, Russia, May 16-19,2010 Revised Selected Papers
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 3642148212 ISBN 13: 9783642148217
Language: English
Paperback. Condition: Brand New. 302 pages. 9.00x5.75x0.50 inches. In Stock.
-
Paperback. Condition: Brand New. 2013 edition. 366 pages. 9.00x6.00x0.75 inches. In Stock.
-
Paperback. Condition: Brand New. 2014 edition. 432 pages. 9.30x6.15x0.80 inches. In Stock.
-
£ 76.70
Convert currency£ 2.23 shipping from U.S.A. to United KingdomQuantity: 15 available
Add to basketCondition: New. 1991. Paperback. . . . . . Books ship from the US and Ireland.
-
£ 22.34
Convert currency£ 55.84 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: 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.
