Order Total (1 Item Items):
Shipping Destination:
Hartmut Ehrig (421 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (421)
- 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 (2)
- Signed (No further results match this refinement)
- Dust Jacket (4)
- Seller-Supplied Images (210)
- Not Print on Demand (280)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
TAPSOFT '87 Vol. 2 : Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 - Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Language: English
Published by Springer Berlin / Heidelberg, 1987
ISBN 10: 354017611X ISBN 13: 9783540176114
Condition: Good. 1987th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
US$ 10.66
US$ 18.16 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Volume 1. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,600grams, ISBN:3540176608.
-
Hard Cover. Condition: Acceptable. Dust Jacket Condition: Acceptable. AMST Series In Computing Vol. 1. The interior is clean and tight. Binding is good. Jacket shows slight wear. Cover is good. 237 pages including index.
-
Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin / Volume 2: Colloquium on Software Engineering (CSE). Lecture notes in computer science ; Volume 186
Language: English
Published by Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. XIV, 455 Seiten : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 740.
-
Mathematisch-strukturelle Grundlagen der Informatik
Language: German
Published by Springer Berlin, Berlin, 2001
ISBN 10: 3540419233 ISBN 13: 9783540419235
Softcover. Condition: deutliche Gebrauchsspuren. mak. Bibl. TitelMathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen / H. Ehrig . Person(en)Ehrig, Hartmut (Mitwirkender) Ausgabe2. Aufl. VerlagBerlin ; Heidelberg ; New York ; Barcelona ; Hongkong ; London ; Mailand ; Paris ; Singapur ; Tokio : Springer Zeitliche EinordnungErscheinungsdatum: 2001 Umfang/FormatXXI, 621 S. : graph. Darst. ; 24 cm ISBN/Einband/Preis978-3-540-41923-5 kart. : DM 65.90 3-540-41923-3 kart. : DM 65.90 BeziehungenSpringer-Lehrbuch SchlagwörterMengenlehre Algebraische Spezifikation Aussagenlogik Prädikatenlogik Kategorientheorie Sachgruppe(n)28 Informatik, Datenverarbeitung ; 27 Mathematik In deutscher Sprache. 622 Seiten Hauptinhalt, 22 Seiten vor dem Hauptinhalt pages. 235 mm × 155 mm.
-
Theory and Application to Graph Transformations : 6th International Workshop, TAGT'98 Paderborn, Germany, November 1998 Selected Papers
Language: English
Published by Springer Berlin / Heidelberg, 2000
ISBN 10: 3540672036 ISBN 13: 9783540672036
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
-
-
Graph Transformations in Computer Science : International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 1994
ISBN 10: 3540577874 ISBN 13: 9783540577874
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Formal Methods and Software Development Vol. 2 : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 1985 - Colloquium on Software Engineering (CSE)
Language: English
Published by Springer Berlin / Heidelberg, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Mathematical Foundations of Software Development - Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 1985 Vol. 1 : Colloquium on Trees in Algebra and Programming (CAAP'85)
Language: English
Published by Springer Berlin / Heidelberg, 1985
ISBN 10: 3540151982 ISBN 13: 9783540151982
First Edition
Condition: Good. 1st Edition. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Condition: Gut. 1985. 436 Seiten Gedunkelt. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Englisch Gewicht in Gramm: 658 Taschenbuch, Größe: 15.5 x 2.5 x 23.5 cm.
-
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development . (Lecture Notes in Computer Science (185))
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. number 185 Good paperback, bumped/creased with shelfwear; may have previous owner's name inside. Standard-sized.
-
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Recent Trends in Data Type Specification. 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de . Selected Papers (Lecture Notes in Computer Science, 785)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 356 pp., Paperback, label and tape to spine, else very good. - 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.
-
Mathematisch-strukturelle Grundlagen der Informatik
Seller: avelibro OHG, Dinkelscherben, Germany
Association Member: BOEV
Seller rating 5 out of 5 stars
235 x 155 mm. Condition: Gut. 2. Aufl. 2001. 622 Seiten Innen sauberer, guter Zustand. Bibliotheksexemplar. Softcover, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). B10-03-05A|M29 Altersfreigabe FSK ab 0 Jahre Sprache: Deutsch Gewicht in Gramm: 948.
-
Kategorien und Automaten. De-Gruyter-Lehrbuch.
Book 91 of 199: De Gruyter LehrbuchLanguage: German
Published by Berlin, New York : de Gruyter Verlag;, 1972
ISBN 10: 3110039028 ISBN 13: 9783110039023
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 170 S. : graph. Darst.; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; Buchrücken minimal beschädigt; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 280.
-
-
-
-
-
-
Paperback or Softback. Condition: New. Categorical Methods in Computer Science: With Aspects from Topology. Book.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987: Volume ... (Lecture Notes in Computer Science, 250)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 51.56
US$ 16.00 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: ... '87) (Lecture Notes in Computer Science, 249)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 51.56
US$ 16.00 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
