Methods Programming Selected Papers (13 results)
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
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
US$ 21.78
US$ 17.79 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert. Condition: Gut. 268 S. Das Buch ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430.
Mathematical and Engineering Methods in Computer Science: 9th International Doctoral Workshop, MEMICS 2014, Telc, Czech Republic, October 17--19, 2014, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Hlinený, Petr (Editor) / Dvorák, Zdenek (Editor) / Jaro, Jirí (Editor) / Kofron, Jan (Editor) / Korenek, Jan (Editor) / Matula, Petr (Editor) / Pala, Karel (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 73.11
US$ 13.33 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2014 edition. 172 pages. 9.00x6.00x0.50 inches. In Stock.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 76.80
US$ 15.05 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Kucera, Antonin (Editor) / Henzinger, Thomas A. (Editor) / Neetril, Jaroslav (Editor) / Vojnar, Tomas (Editor) / Antos, David (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 89.65
US$ 13.33 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. int rev edition. 220 pages. 9.00x6.25x0.50 inches. In Stock.
Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Damiani, Ferruccio (Editor) / de Boer, Frank S. (Editor) / Bonsangue, Marcello M. (Editor) / Beckert, Bernhard (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 92.14
US$ 16.66 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2013 edition. 366 pages. 9.00x6.00x0.75 inches. In Stock.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 93.82
US$ 16.66 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2014 edition. 432 pages. 9.30x6.15x0.80 inches. In Stock.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 76.29
US$ 39.04 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is a collection of papers presenting work based on the ideas of the CIP project. The CIP project proposed a formal approach to programming language concepts and program development based on algebraic specifications and program transformations.…
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 118.22
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. vii + 197 1st edition.
Mathematical and Engineering Methods in Computer Science: 7th International Doctoral Workshop, Memics 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)
Kotásek, Zdenek (Editor) / Bouda, Jan (Editor) / Cerná, Ivana (Editor) / Sekanina, Lukas (Editor) / Vojnar, Tomas (Editor) / Anto, David (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 112.93
US$ 13.33 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. revised edition. 230 pages. 9.25x6.25x0.50 inches. In Stock.
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 120.56
US$ 8.66 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. vii + 197 Illus.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 49.11
US$ 117.13 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 302 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science (544))
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 167.47
US$ 33.32 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
- Print on Demand
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.56
US$ 6.65 shippingShips from United Kingdom to U.S.A.Quantity: 20 available
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
