Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
EUR 30,41
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 39,43
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: medimops, Berlin, Alemania
EUR 30,44
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Librería: World of Books (was SecondSale), Montgomery, IL, Estados Unidos de America
EUR 42,33
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 40,60
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer London Ltd, GB, 2007
ISBN 10: 1846286913 ISBN 13: 9781846286919
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 42,98
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 2007 ed.
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 43,44
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 45,82
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 38,42
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In English.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 38,40
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 41,46
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
EUR 59,92
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
EUR 78,22
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. In shrink wrap. Looks like an interesting title!
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 43,63
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time.
Librería: preigu, Osnabrück, Alemania
EUR 36,85
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Semantics with Applications: An Appetizer | Hanne Riis Nielson (u. a.) | Taschenbuch | xii | Englisch | 2007 | Springer London | EAN 9781846286919 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Springer London Ltd, GB, 2007
ISBN 10: 1846286913 ISBN 13: 9781846286919
Librería: Rarewaves.com UK, London, Reino Unido
EUR 39,28
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 2007 ed.
Idioma: Inglés
Publicado por Springer London Apr 2007, 2007
ISBN 10: 1846286913 ISBN 13: 9781846286919
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 37,40
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science. This book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications including: Validating prototype implementations of programming languages. Verifying program analyses that are part of more advanced implementations of programming languages. Verifying security analyses. Verifying useful program properties including information about execution time. 274 pp. Englisch.
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 43,45
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Librería: moluna, Greven, Alemania
EUR 35,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoKartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a rigorous introduction to the main approaches to formal semantics of programming languagesBreaks new ground by considering the validation of compilers, static program analysers, validation of security properties and techniques for estima.