Verlag: Springer-Verlag, Berlin, 1993
ISBN 10: 0387572643 ISBN 13: 9780387572642
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Lecture Notes in Computer Science 724; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
Verlag: Ellipses Marketing, 1992
ISBN 10: 2729892087 ISBN 13: 9782729892081
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Traces de pliures sur la couverture. Traces d'usure sur la couverture. Salissures sur la tranche. Pages cornées. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Traces of creases on the cover. Signs of wear on the cover. Stains on the edge. Dog-eared pages. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Ediscience International, 1988
ISBN 10: 2704211736 ISBN 13: 9782704211739
Anbieter: RECYCLIVRE, Paris, Frankreich
Zustand: Bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
Verlag: Ediscience International, 1988
ISBN 10: 2704211736 ISBN 13: 9782704211739
Anbieter: RECYCLIVRE, Paris, Frankreich
Zustand: Assez bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.
Verlag: ELLIPSES, 1992
ISBN 10: 2729892028 ISBN 13: 9782729892029
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Bon. Ancien livre de bibliothèque. Traces de pliures sur la couverture. Légères traces d'usure sur la couverture. Pages cornées. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Traces of creases on the cover. Slight signs of wear on the cover. Dog-eared pages. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: ELLIPSES, 1992
ISBN 10: 2729892028 ISBN 13: 9782729892029
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Salissures sur la tranche. Pages cornées. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slightly creased cover. Stains on the edge. Dog-eared pages. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Berlin, Springer., 2001
ISBN 10: 3540423141 ISBN 13: 9783540423140
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
XI, 436 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2126. Sprache: Englisch.
Verlag: Springer, 2009
ISBN 10: 3540423141 ISBN 13: 9783540423140
Anbieter: Ammareal, Morangis, Frankreich
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Springer, 2009
ISBN 10: 3540423141 ISBN 13: 9783540423140
Anbieter: getbooks GmbH, Bad Camberg, HE, Deutschland
Taschenbuch. Zustand: Gut. 456 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 824175.01 Sprache: Englisch Gewicht in Gramm: 635.
Verlag: Ellipses, 1992
ISBN 10: 2729892028 ISBN 13: 9782729892029
Couverture souple. Zustand: bon. R160216493: 1992. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 288 pages. . . . Classification Dewey : 4-Traitement des données. Informatique.
Verlag: Springer Berlin Heidelberg, 2001
ISBN 10: 3540423141 ISBN 13: 9783540423140
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsfor v- i cation and semantics-based manipulation of programs and high-performance implementation of programming languages. The series of Static Analysis S- posia is a forum for the presentation and discussion of advances in the area. This volume contains the papers presentedat the EighthInternationalStatic Analysis Symposium (SAS 2001), which was held July 16{18, 2001 at the S- bonne in Paris, France. Previous SAS symposia were held in Santa Barbara,CA, USA (LNCS 1824), Venice, Italy (LNCS 1694), Pisa, Italy (LNCS 1503), Paris, France (LNCS 1302), Aachen, Germany (LNCS 1145), Glasgow, UK(LNCS983),Namur,Belgium(LNCS864),followingtheinternationalwo- shop WSA in Padova, Italy (LNCS 724), Bordeaux, France (Bigre Vol. 81-82) and JTASPEFL/WSA, Bordeaux, France (Bigre Vol. 74). The program committee meeting was held at the Ecole Normale Sup erieure in Paris on March 31, 2001, and 21 papers were selected from 62 submissions. In addition to the contributed papers, this volume includes invited papers by RustanLeinoandMartinRinard.Thisvolumealsocontainstheabstractsofan invitedtalkbyFredSchneider and of the presentations by Bruno Blanchet, Andrew Gordon, Andrew Myers,andDavid Wagner at an invited session on security. May 2001 Patrick Cousot VI Preface ProgramCommittee Patrick Cousot (Chair) Ecole Normale Sup erieure, Paris, France Maurice Bruynooghe Katholieke Universiteit Leuven, Belgium.
Verlag: Springer Berlin Heidelberg, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the thirdInternational Workshop on Static Analysis (WSA`93), held inPadova, Italy, in September 1993. The objective of theinternational workshop series WSA is to serve as a forum forthe discussion of the various aspects of static analysis indifferent programming paradigms. The clearly increasingmumbers of submitted papers and workshop participants pointout the growing importance of static analysis techniques forlogical, functional, concurrent and parallel languages aswell as for parallel term rewriting systems.This proceedings contains, besides the abstracts or fullpapers of the invited talks given by Pascal Van Hentenryck,Peter van Roy, and Paul Hudak, full versions of the 20contributed papers selected from a total of 68 submissionsby an international program committee consisting of manyrenown researchers in the field. The volume is organized insections on fixpoint computation, concurrency, parallelism,transformation, logic programs, term rewriting systems,strictness, reasoning about programs, and types.
Verlag: MIT Press Ltd Sep 2021, 2021
ISBN 10: 0262044900 ISBN 13: 9780262044905
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - 'An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs'--.