BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Transitions and Trees: An Introduction to Structural Operational Semantics

Transitions and Trees: An Introduction to Structural Operational Semantics

Transitions and Trees: An Introduction to Structural Operational Semantics
Stock photo: cover may vary

Transitions and Trees: An Introduction to Structural Operational Semantics Paperback - 2010

by H

Add to wish list
  • Used
  • Paperback
Used: Good

Description

Cambridge University Press, 2010-06-07. New. paperback. Used: Good. 6.69x0.66x9.61. Buy with confidence. Excellent Customer Service & Return policy.
Ask the seller a question Add to wish list
A$69.04
A$21.74 Delivery within USA
Standard delivery: 12 to 14 days
More delivery options
Dropship order
Ships from Ergodebooks (Texas, United States)

Details

  • Title Transitions and Trees: An Introduction to Structural Operational Semantics
  • Author H
  • Binding Paperback
  • Edition New
  • Condition Used: Good
  • Pages 290
  • Language ENG
  • Publisher Cambridge University Press
  • Publication date 2010-06-07
  • Features Bibliography, Illustrated, Index, Table of Contents
  • Bookseller's Inventory # SONG0521147093
  • ISBN 9780521147095
  • Weight 0.07 lbs (0.03 kg)
  • Size 6.69x0.66x9.61
  • Themes
    • Aspects (Academic): Science/Technology Aspects
  • Quantity available 1

About Ergodebooks Texas, United States

Biblio member since 2005

Our goal is to provide best customer service and good condition books for the lowest possible price. We are always honest about condition of book. We list book only by ISBN # and hence exact book is guaranteed.

Terms of Sale:

We have 30 day return policy.

Browse books from Ergodebooks

Reader reviews for Transitions and Trees: An Introduction to Structural Operational Semantics

From the publisher

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.
tracking-