Order Total (1 Item Items):
Shipping Destination:
Methods Programming Selected Papers (29 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (29)
- 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 (21)
- As New, Fine or Near Fine (3)
- 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 (29)
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 (4)
- Not Print on Demand (29)
Language (1)
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.
-
Paperback. 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.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
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.
-
-
-
Paperback. Condition: Very Good. 038754576X Ex-library paperback in very nice condition with the usual markings and attachments.
-
-
-
-
-
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.62
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: As New. Unread book in perfect condition.
-
-
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.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
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
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: 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)
Book 201 of 300: Lecture Notes in Computer ScienceSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 49.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: 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.62
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
PF. Condition: New.
-
-
Paperback. Condition: Brand New. 2014 edition. 172 pages. 9.00x6.00x0.50 inches. In Stock.
-
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
Language: English
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 3642148212 ISBN 13: 9783642148217
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.
-
Paperback. Condition: Brand New. revised edition. 230 pages. 9.25x6.25x0.50 inches. In Stock.
-
Methods of Programming : Selected Papers on the CIP-Project
Language: English
Published by Springer Berlin Heidelberg, 1991
ISBN 10: 354054576X ISBN 13: 9783540545767
Taschenbuch. 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.
-
Paperback. Condition: Like New. Like New. book.
-
Methods and Tools of Parallel Programming Multicomputers : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
Language: English
Published by Springer-Verlag GmbH, 2010
ISBN 10: 3642148212 ISBN 13: 9783642148217
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 302 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
