Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Functional

Transitions and Trees: An Introduction to Structural Operational Semantics


Free Shipping Included! Transitions and Trees: An Introduction to Structural Operational Semantics by Hans Huttel at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Structural operational semantics is a simple, yet powerful mathematical theory for describing the behaviour of programs in an


Product Description

Structural operational semantics is a simple, yet powerful mathematical theory for describing the behaviour of programs in an implementation-independent manner. This book provides a self-contained introduction to structural operational semantics, featuring semantic definitions using big-step and small-step semantics of many standard programming language constructs, including control structures, structured declarations and objects, parameter mechanisms and procedural abstraction, concurrency, nondeterminism and the features of functional programming languages. Along the way, the text introduces and applies the relevant proof techniques, including forms of induction and notions of semantic equivalence (including bisimilarity). Thoroughly class-tested, this book has evolved from lecture notes used by the author over a 10-year period at Aalborg University to teach undergraduate and graduate students. The result is a thorough introduction that makes the subject clear to students and computing professionals without sacrificing its rigour. No experience with any specific programming language is required.

Additional Information

Manufacturer:Cambridge University Press
Brand:Hans Huttel
Publisher:Cambridge University Press
Studio:Cambridge University Press
EAN:9780521197465
Item Weight:1.45 pounds
Item Size:0.75 x 9.72 x 9.72 inches
Package Weight:1.5 pounds
Package Size:6.77 x 0.79 x 0.79 inches

Transitions and Trees: An Introduction to Structural Operational Semantics by Hans Huttel

Buy Now:
Transitions and Trees: An Introduction to Structural Operational Semantics

Brand: Hans Huttel
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$149.00


Quantity:  

 


View More In Functional.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Hans Huttel, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


mpn: biography, ean: 9781461267041, isbn: 1461267048,
This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit­ man, in 1986. In addition to a general effort to improve typography, English, and presentation, th...

mpn: biography, ean: 9781461348252, isbn: 1461348250,
The projectors are considered as simple but important type of matrices and operators. Their basic theory can be found in many books, among which Hal­ mas [177], [178] are of particular significance. The projectors or projections became an active res...

ean: 9781848825420, isbn: 1848825420,
Fortran has been the premier language for scientific computing since its introduction in 1957. Fortran originally was designed to allow programmers to evaluate for- las―FORmula TRANslation―easily on large computers. Fortran compilers are now avai...

ean: 9788131800805, isbn: 8131800806,
Although DSP Has Long Been Considered An EE Topic, Recent Developments Have Also Generated Significant Interest From The Computer Science Community. DSP Applications In The Consumer Market, Such As Bioinformatics, The MP3 Audio Format, And MPEG-Based...

ean: 9781107019027, isbn: 1107019028,
This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of appl...

ean: 9780134841977, isbn: 0134841972,

mpn: 44769369, ean: 9783319333601, isbn: 3319333607,
This book highlights the current challenges for engineers involved in product development and the associated changes in procedure they make necessary. Methods for systematically analyzing the requirements for safety and security mechanisms are descri...

ean: 9780077076252, isbn: 0077076257,
The functional programming language ML is becoming the main medium for teaching functional ideas in a university environment. This book is introductory and adopts an incremental approach, whilst the coverage is problem-oriented: at each stage a probl...

ean: 9780521791335, isbn: 0521791332,
This book provides the first general account of the development of simplicial algorithms. These include the ubiquitous simplex method of linear programming widely used in industrial optimization and strategic decision making and methods important in ...

ean: 9780792357339, isbn: 0792357337,
Although the monograph Progress in Optimization I: Contributions from Aus­ tralasia grew from the idea of publishing a proceedings of the Fourth Optimiza­ tion Day, held in July 1997 at the Royal Melbourne Institute of Technology, the focus soon ch...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.