Publicado por Springer London (edition 2007), 2010
ISBN 10: 1846286913 ISBN 13: 9781846286919
Idioma: Inglés
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
EUR 18,63
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. 2007. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
Librería: Zoom Books East, Glendale Heights, IL, Estados Unidos de America
EUR 19,07
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.
Publicado por Springer London, Limited, 2007
ISBN 10: 1846286913 ISBN 13: 9781846286919
Idioma: Inglés
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Original o primera edición
EUR 22,61
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: Very Good. 1st Edition. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 32,13
Cantidad disponible: 2 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: SMASS Sellers, IRVING, TX, Estados Unidos de America
EUR 33,55
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 34,13
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: ALLBOOKS1, Direk, SA, Australia
EUR 36,49
Cantidad disponible: 1 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 38,76
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Publicado por Springer London Ltd, GB, 2007
ISBN 10: 1846286913 ISBN 13: 9781846286919
Idioma: Inglés
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 46,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 2007 ed. 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: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 43,62
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 49,69
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 36,69
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In English.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 34,00
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 34,54
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 40,71
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: BennettBooksLtd, San Diego, NV, Estados Unidos de America
EUR 77,24
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,13
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 37,10
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.
Publicado por Springer London Ltd, GB, 2007
ISBN 10: 1846286913 ISBN 13: 9781846286919
Idioma: Inglés
Librería: Rarewaves.com UK, London, Reino Unido
EUR 42,88
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 2007 ed. 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: Buchpark, Trebbin, Alemania
EUR 26,90
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 42,25
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 493.
Publicado por Springer London Apr 2007, 2007
ISBN 10: 1846286913 ISBN 13: 9781846286919
Idioma: Inglés
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.