Skip to main content alibris logo

This book provides a rigorous introduction to the formal semantics of programming languages. Coverage includes 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.

loading
    • eBook Details
    eBook icon PDF eBook Semantics With Applications: an Appetizer

    This is a digital edition of this title.

    Rent eBook (5 Options)

    Buy eBook

    • Title: Semantics With Applications: an Appetizer by Hanne Riis Nielson; Flemming Nielson
    • Publisher: Springer Nature
    • Print ISBN: 9781846286919, 1846286913
    • eText ISBN: 9781846286926
    • Edition: 2007 2007 edition
    • Format: PDF eBook
    $12.00
    digital devices
    • This is a digital eBook
      Nothing will be shipped to you
    • Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices
    • Most eBooks are returnable within 14 days of purchase
    • Questions? See our eBook FAQ