Edité par Springer London (edition 2007), 2010
ISBN 10 : 1846286913 ISBN 13 : 9781846286919
Langue: anglais
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
EUR 18,35
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : 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.
Vendeur : Zoom Books East, Glendale Heights, IL, Etats-Unis
EUR 18,81
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Edité par Springer London Ltd, United Kingdom, England, 2007
ISBN 10 : 1846286913 ISBN 13 : 9781846286919
Langue: anglais
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
EUR 22,56
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. 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. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Edité par Springer London, Limited, 2007
ISBN 10 : 1846286913 ISBN 13 : 9781846286919
Langue: anglais
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Edition originale
EUR 20,47
Quantité disponible : 2 disponible(s)
Ajouter au panierEtat : Very Good. 1st Edition. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects.
EUR 34,04
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : ALLBOOKS1, Direk, SA, Australie
EUR 36,38
Quantité disponible : 1 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
EUR 38,90
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Edité par Springer London Ltd, GB, 2007
ISBN 10 : 1846286913 ISBN 13 : 9781846286919
Langue: anglais
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 46,77
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : 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.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 43,49
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 49,55
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 36,91
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In English.
EUR 34,21
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
EUR 36,90
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 40,94
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : BennettBooksLtd, San Diego, NV, Etats-Unis
EUR 77,02
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New. In shrink wrap. Looks like an interesting title!
EUR 43,13
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
EUR 36,50
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
Edité par Springer London Ltd, GB, 2007
ISBN 10 : 1846286913 ISBN 13 : 9781846286919
Langue: anglais
Vendeur : Rarewaves.com UK, London, Royaume-Uni
EUR 43,14
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : 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.
EUR 24,21
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Zustand: Gut | Seiten: 274 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
EUR 42,51
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 493.
Edité par Springer London Apr 2007, 2007
ISBN 10 : 1846286913 ISBN 13 : 9781846286919
Langue: anglais
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
EUR 37,40
Quantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.