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 17,34
Autre deviseQuantité 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.
Edité par Springer London (edition 2007), 2010
ISBN 10 : 1846286913 ISBN 13 : 9781846286919
Langue: anglais
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
EUR 12,11
Autre deviseQuantité 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.
Quantité disponible : 1 disponible(s)
Ajouter au panierEtat : Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
Vendeur : ALLBOOKS1, Direk, SA, Australie
EUR 33,23
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship toPOboxaddress.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 38,23
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In English.
EUR 34,55
Autre deviseQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Edité par Springer London Ltd, GB, 2007
ISBN 10 : 1846286913 ISBN 13 : 9781846286919
Langue: anglais
Vendeur : Rarewaves.com UK, London, Royaume-Uni
EUR 44,68
Autre deviseQuantité 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.
Edité par Springer London Ltd, GB, 2007
ISBN 10 : 1846286913 ISBN 13 : 9781846286919
Langue: anglais
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 48,60
Autre deviseQuantité 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 35,61
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 43,13
Autre deviseQuantité 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 39,34
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
EUR 46,27
Autre deviseQuantité disponible : 5 disponible(s)
Ajouter au panierPaperback or Softback. Etat : New. Semantics with Applications: An Appetizer 1.03. Book.
EUR 41,33
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
EUR 43,95
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Best Price, Torrance, CA, Etats-Unis
EUR 39,44
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 43,04
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : BennettBooksLtd, San Diego, NV, Etats-Unis
EUR 76,22
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : New. In shrink wrap. Looks like an interesting title!
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
EUR 42,93
Autre deviseQuantité 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
Autre deviseQuantité 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.