Language: Spanish
Published by CreateSpace Independent Publishing Platform, 2015
ISBN 10: 1512105910 ISBN 13: 9781512105919
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Eytinge, Solomon (illustrator). Unread book in perfect condition.
Language: Spanish
Published by CreateSpace Independent Publishing Platform, 2015
ISBN 10: 1512105910 ISBN 13: 9781512105919
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Eytinge, Solomon (illustrator).
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: Spanish
Published by CreateSpace Independent Publishing Platform, 2015
ISBN 10: 1512105910 ISBN 13: 9781512105919
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 13.98
Quantity: Over 20 available
Add to basketCondition: New. Eytinge, Solomon (illustrator).
Language: Spanish
Published by CreateSpace Independent Publishing Platform, 2015
ISBN 10: 1512105910 ISBN 13: 9781512105919
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 15.37
Quantity: Over 20 available
Add to basketCondition: As New. Eytinge, Solomon (illustrator). Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 21.62
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 24.73
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Anybook.com, Lincoln, United Kingdom
US$ 31.16
Quantity: 1 available
Add to basketCondition: Good. 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,400grams, ISBN:9783540336891.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer Berlin Heidelberg 2010-06-02, 2010
ISBN 10: 3540336893 ISBN 13: 9783540336891
Seller: Chiron Media, Wallingford, United Kingdom
US$ 66.62
Quantity: 10 available
Add to basketPaperback. Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.88
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 68.86
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 68.86
Quantity: Over 20 available
Add to basketCondition: New.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 192.
Condition: New. pp. 552.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 77.92
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: Spanish
Published by Hidalguía, Madrid, 1996
Seller: Librería Antonio Azorín, San Lorenzo de El Escorial, M, Spain
Encuadernación de tapa blanda. Condition: Muy bien. Idioma español. Ejemplar en muy buen estado. Dimensiones: 24x17 - 144 pp.
Language: Spanish
Published by Hidalguía, Madrid, 1998
Seller: Librería Antonio Azorín, San Lorenzo de El Escorial, M, Spain
Encuadernación de tapa blanda. Condition: Muy bien. Idioma español. Ejemplar en muy buen estado. Dimensiones: 24x17 - ( 290 - 576 pp. ).
Language: English
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 3540336893 ISBN 13: 9783540336891
Seller: moluna, Greven, Germany
Condition: New. Post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005Presents 9 revised full papers presented carefully selected during two rounds of reviewing and improvem.
Language: English
Published by Springer Berlin Heidelberg, 2002
ISBN 10: 3540440445 ISBN 13: 9783540440444
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic theory and in implementation, in a series of graduate-level lectures. The school was sponsored by the ESPRIT Working Group 26142 on Applied Semantics(APPSEM),whichoperatedbetweenApril1998andMarch2002.The purpose of this working group was to bring together leading reseachers, both in semantic theory and in implementation, with the speci c aim of improving the communication between theoreticians and practitioners. TheactivitiesofAPPSEMwerestructuredintonineinterdisciplinarythe mes: A: Semantics for object-oriented programming B: Program structuring C: Integration of functional languages and proof assistants D: Veri cation methods E: Automatic program transformation F: Games, sequentiality, and abstract machines G: Types and type inference in programming H: Semantics-based optimization I: Domain theory and real number computation These themes were identi ed as promising for pro table interaction between semantic theory and practice, and were chosen to contribute to the following general topics: - description of existing programming language features; - design of new programming language features; - implementation and analysis of programming languages; - transformation and generation of programs; - veri cation of programs. The chapters in this volume give examples of recent developments covering a broad range of topics of interest to APPSEM.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 128.51
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 145.71
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. XX + 465.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. XX + 425.