Editore: Springer, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Editore: Springer, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condizione: new.
Editore: Springer, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Editore: Springer, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Editore: Springer, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition.
Editore: Springer, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Condizione: New.
Editore: Springer, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condizione: New.
Editore: Springer Berlin Heidelberg, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: 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.
Editore: Springer, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Condizione: As New. Unread book in perfect condition.
Editore: Springer Berlin Heidelberg, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: moluna, Greven, Germania
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.
Editore: Springer Berlin Heidelberg Sep 1993, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 300 pp. Englisch.
Editore: Springer, 1993
ISBN 10: 3540572643 ISBN 13: 9783540572640
Da: Kennys Bookstore, Olney, MD, U.S.A.
Condizione: New.