Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Nielson, Hanne Riis
ISBN 10: 1846286913 ISBN 13: 9781846286919
Verlag: Springer London, 2010
Neu
Softcover
Verkäufer
Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 25. März 2015
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
In English. Bestandsnummer des Verkäufers ria9781846286919_new
Inhaltsangabe:
Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of 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. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.
Von der hinteren Coverseite:
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.
Written out of a tradition that places special emphasis on operational semantics, denotational semantics and axiomatic semantics, 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.
This is an introductory text that should serve as an appetizer to the whole area of semantics with applications.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Semantics with Applications: An Appetizer (...
Verlag: Springer London
Erscheinungsdatum: 2010
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
Beispielbild für diese ISBN
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Verlag:
Springer London (edition 2007), 2010
ISBN 10: 1846286913
ISBN 13: 9781846286919
Gebraucht
Paperback
Anbieter: BooksRun, Philadelphia, PA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Artikel-Nr. 1846286913-11-1
Gebraucht kaufen
EUR 18,13
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Semantics with Applications : An Appetizer
Verlag:
Springer London, Limited, 2007
ISBN 10: 1846286913
ISBN 13: 9781846286919
Gebraucht
Softcover
Erstausgabe
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. 1st Edition. Ships from the UK. Used book that is in excellent condition. May show signs of wear or have minor defects. Artikel-Nr. 13716340-20
Gebraucht kaufen
EUR 20,20
EUR 9,11 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Verlag:
Springer London Ltd, United Kingdom, England, 2007
ISBN 10: 1846286913
ISBN 13: 9781846286919
Gebraucht
Paperback
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Artikel-Nr. GOR007972684
Gebraucht kaufen
EUR 22,45
EUR 6,38 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Semantics with Applications: An Appetizer
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. Zustand: Gut | Seiten: 274 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Artikel-Nr. 3587103/3
Gebraucht kaufen
EUR 24,21
EUR 105,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
SEMANTICS WITH APPLICATIONS: AN APPETIZER
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Artikel-Nr. ABNR-73160
Semantics with Applications: An Appetizer
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Artikel-Nr. 102067999
Neu kaufen
EUR 36,50
EUR 70,00 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Semantics with Applications: An Appetizer
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Artikel-Nr. 9781846286919
Neu kaufen
EUR 43,13
EUR 62,55 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar