LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Semantics with Applications: An Appetizer

Semantics with Applications: An Appetizer

Du sparst 15,50 € (48%)

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

17,00 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9781846286919
Seitenzahl:
274 Seiten
Auflage:
-
Erschienen:
2007-04-27
Mit diesem Kauf sparst Du 2,06 kg CO2

Mehr Informationen zum Zustand
Green Tree

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
  • Sauberer Zustand, Seiten und Bindung etwas abgenutzt
  • Knicke oder Markierungen nicht mehr als 5%
  • CDs und Zugangscodes verwendbar
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise
Du sparst 15,50 € (48%)

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

17,00 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Semantics with Applications: An Appetizer

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. von Riis Nielson, Hanne;Nielson, Flemming;

Produktdetails

Einband:
Hardcover
Seitenzahl:
274 Seiten
Erschienen:
2007-04-27
Sprache:
Englisch
EAN:
9781846286919
ISBN:
9781846286919
Gewicht:
589 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Entdecke mehr vom Verlag


Gut
17,00 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl