Order Total (1 Item Items):
Shipping Destination:
Methods Programming Selected Papers (30 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (30)
- 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 (22)
- 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 (30)
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 (6)
- Not Print on Demand (30)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Paperback. 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: 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. We are unable to ship to Canada at this time.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
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
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. We are unable to ship to Canada at this time.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
US$ 52.48
US$ 15.60 shipping 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
US$ 59.18
US$ 15.60 shipping 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
US$ 65.89
US$ 15.60 shipping 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
US$ 68.15
US$ 15.60 shipping 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)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.15
US$ 15.60 shipping 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
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.
-
Paperback. Condition: Brand New. revised edition. 230 pages. 9.25x6.25x0.50 inches. In Stock.
-
Methods of Programming : Selected Papers on the CIP-Project
Published by Springer Berlin Heidelberg, 1991
ISBN 10: 354054576X ISBN 13: 9783540545767
Language: English
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.
-
Methods of Programming | Selected Papers on the CIP-Project
Published by Springer-Verlag GmbH, 1991
ISBN 10: 354054576X ISBN 13: 9783540545767
Language: English
Taschenbuch. Condition: Neu. Methods of Programming | Selected Papers on the CIP-Project | Martin Wirsing (u. a.) | Taschenbuch | x | Englisch | 1991 | Springer-Verlag GmbH | EAN 9783540545767 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
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
Published by Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10: 3642148212 ISBN 13: 9783642148217
Language: English
Taschenbuch. Condition: Neu. Neuware - It is our great pleasure to present the proceedings of the second Russia-Taiwan Symposium on Methods and Tools of Parallel Programming (MTPP 2010). MTPP is the main regular event of the Russia-Taiwan scientific forum that covers the many dimensions of methods and tools of parallel programming, algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated every aspect of daily life, the power of computing systems has become increasingly critical. Therefore, MTPP is intended to play an important role allowing researchers to exchange information regarding advancements in the state of the art and practice of IT-driven services and applications, as well as to identify emerging research topics and define the future directions of parallel computing. We received a large number of high-quality submissions this year. In the first stage, all papers submitted were screened for their relevance and general submission requirements. These manuscripts then underwent a rigorous peer-review process with at least three reviewers per paper. At the end, 33 papers were accepted for presentation and included in the main proceedings. To encourage and promote the work presented at MTPP 2010, we are delighted to inform the authors that some of the papers will be accepted in special issues of the Journal of Supercomputing, which has played a prominent role in promoting the development and use of parallel and distributed processing.
-
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
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
