Gesamtpreis (1 Artikel Artikel):
Versandziel:
hankin chris (30 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (30)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (15)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (9)
- Gut oder Befriedigend (6)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (9)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Theory and Formal Methods of Computing 94. Proceedings of the Second Imperial College Workshop
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. 431 pp., hardcover, ex library, else text clean & binding tight. - 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.
-
Lambda Calculi. A Guide for Computer Scientists (Graduate Texts in Computer Science, Volume 3)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. 162 pp., Paperback, ownership markings to the front free endpaper and fore edge, 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.
-
Principles of Program Analysis
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less.
-
Principles of Program Analysis
Verlag: Springer Berlin / Heidelberg, 2010
ISBN 10: 3642084745 ISBN 13: 9783642084744
Sprache: Englisch
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Used book that is in clean, average condition without any missing pages.
-
Sonderangebot
EUR 6,99
EUR 22,50 für den Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Très bon. Ancien livre de bibliothèque. Jaquette abîmée. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Damaged dust jacket. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Abstract Interpretation of Declarative Languages
Verlag: Ellis Horwood Ltd , Publisher, 1987
ISBN 10: 0745801099 ISBN 13: 9780745801094
Sprache: Englisch
SonderangebotEUR 6,99
EUR 22,50 für den Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Couverture différente. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Different cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Abstract Interpretation of Declarative Languages
Verlag: Ellis Horwood Ltd , Publisher, 1987
ISBN 10: 0745801099 ISBN 13: 9780745801094
Sprache: Englisch
SonderangebotEUR 6,99
EUR 22,50 für den Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Sonderangebot
EUR 6,99
EUR 22,50 für den Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Très bon. Ancien livre de bibliothèque. Jaquette abîmée. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Damaged dust jacket. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
An Introduction to Lambda Calculi for Computer Scientists (Volume 2)
Verlag: King's College Publications, 2004
ISBN 10: 0954300653 ISBN 13: 9780954300654
Sprache: Englisch
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 19,19
EUR 14,73 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Volume 2. 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,350grams, ISBN:9780954300654.
-
Principles of Program Analysis
Verlag: Springer Berlin / Heidelberg, 1999
ISBN 10: 3540654100 ISBN 13: 9783540654100
Sprache: Englisch
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. 1 Edition. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Introducao Ao Calculo Lambda
Verlag: College Publications, 2012
ISBN 10: 1848900848 ISBN 13: 9781848900844
Sprache: Portugiesisch
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Introducao Ao Calculo Lambda
Verlag: College Publications, 2012
ISBN 10: 1848900848 ISBN 13: 9781848900844
Sprache: Portugiesisch
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 19,84
EUR 4,73 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Lambda Calculi: A Guide for Computer Scientists (Graduate Texts in Computer Science, Volume 3)
Anbieter: Fireside Bookshop, Stroud, GLOS, Vereinigtes Königreich
Verbandsmitglied: PBFA
Verkäuferbewertung 5 von 5 Sternen
EUR 29,31
EUR 28,45 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. Type: Book N.B. Small plain label to inside front cover. Damage stamp to title page. Fading to spine and corners of covers.
-
Programming Languages and Systems
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 70,80
EUR 7,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 300 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Coordination Languages and Models
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 78,20
EUR 7,40 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 468 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Sonderangebot
EUR 39,99
EUR 22,50 für den Versand von Frankreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Bon. Ancien livre de bibliothèque. Couverture différente. Edition 1987. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1987. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Lambda Calculi: A Guide for Computer Scientists (Graduate Texts in Computer Science, Volume 3)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 104,37
EUR 11,38 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 176 pages. 9.25x6.25x0.50 inches. In Stock.
-
Semantics, Logics, and Calculi
Verlag: Springer International Publishing, Springer International Publishing Dez 2015, 2015
ISBN 10: 3319278096 ISBN 13: 9783319278094
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are dedicated to them and to their work. The papers were presented at a colloquium at the Technical University of Denmark in January 2016.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.
-
Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Verlag: Springer Berlin Heidelberg, 1998
ISBN 10: 3540643028 ISBN 13: 9783540643029
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.
-
Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Verlag: Springer International Publishing, 2015
ISBN 10: 3319278096 ISBN 13: 9783319278094
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are dedicated to them and to their work. The papers were presented at a colloquium at the Technical University of Denmark in January 2016.
-
Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
Verlag: Springer Berlin Heidelberg, 2005
ISBN 10: 3540285849 ISBN 13: 9783540285847
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri cation, software certi cation and semantics-based manipulation. The research com- nity in static analysis covers a broad spectrum from foundational issues new semantic models of programming languages and systems through to practical tools.TheseriesofStatic AnalysisSymposia hasservedasthe primaryvenue for presentation and discussion of theoretical, practical and application advances in the area. This volume contains the papers accepted for presentation at the 12th Int- national Static Analysis Symposium (SAS 2005) which was held 7 9 September 2005 at Imperial College London. A total of 66 papers were submitted; the Program Committee held an online discussion which led to the selection of 22 papers for presentation. The selection was based on scienti c quality, originality and relevance to the scope of SAS. Every paper was reviewed by at least 3 PC members or external referees. This volume also includes abstracts of talks given by the two invited speakers: Samson Abramsky FRS (University of Oxford) and Andrew Gordon (Microsoft Research, Cambridge). OnbehalfoftheProgramCommittee,theProgramChairwouldliketothank all of the authors who submitted papers and all of the external referees for their careful work in the reviewing process. The Program Chair would also parti- larly like to thank Igor Siveroni who provided local support for the conference management system and who helped in organizing the structure of this volume.
-
Coordination Languages and Models : First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.
Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 3540610529 ISBN 13: 9783540610526
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the First International Conference on Coordination Languages and Models, COORDINATION '96, held in Cesena, Italy in April 1996. Over the last few years, a new class of models, formalisms, and mechanisms for describing concurrent and distributed computations has emerged. A characteristic feature of these coordination languages and models is that they are based on (generative) communication via a shared data space. The 21 revised full papers presented were selected from a total of 78 submissions; also included are three invited papers and 10 posters. All in all, these papers report the state of the art in this young and active area of research and development.
-
Taschenbuch. Zustand: Neu. Coordination Languages and Models | First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings. | Chris Hankin (u. a.) | Taschenbuch | xi | Englisch | 1996 | Springer-Verlag GmbH | EAN 9783540610526 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Zustand: Neu. Programming Languages and Systems | 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings | Chris Hankin | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1998 | Springer-Verlag GmbH | EAN 9783540643029 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Coordination Languages and Models : First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.
Verlag: Springer Berlin Heidelberg, 1996
ISBN 10: 3540610529 ISBN 13: 9783540610526
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
Verlag: Springer Berlin Heidelberg, 1998
ISBN 10: 3540643028 ISBN 13: 9783540643029
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
INTRODUCAO AO CALCULO LAMBDA
Verlag: College Publications, 2012
ISBN 10: 1848900848 ISBN 13: 9781848900844
Sprache: Portugiesisch
Anbieter: Speedyhen, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 18,41
EUR 46,66 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: NEW.
-
Zustand: Bon. Attention: Ancien support de bibliothèque, plastifié, étiquettes. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
-
Introdu O Ao C Lculo Lambda
Verlag: College Publications, 2012
ISBN 10: 1848900848 ISBN 13: 9781848900844
Sprache: Portugiesisch
Zustand: New.
-
Introducao ao calculo lambda
Verlag: College Publications, 2012
ISBN 10: 1848900848 ISBN 13: 9781848900844
Sprache: Portugiesisch
Taschenbuch. Zustand: Neu. Introducao ao calculo lambda | Chris Hankin | Taschenbuch | Kartoniert / Broschiert | Portugiesisch | 2012 | College Publications | EAN 9781848900844 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
