你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Transitions and Trees: An Introduction to Structural Operational Semantics
Type
Physical Book
Publisher
Author
Year
2010
Language
English
Pages
272
Format
Paperback
Weight
1.15
ISBN13
9780521147095
Edition No.
1
Categories

Transitions and Trees: An Introduction to Structural Operational Semantics

Hans Huttel (Author) · Cambridge University Press · Paperback

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

New Book Imported to Taiwan
Delivery: 06 Nov - 16 Nov Shipping: 6 to 7 business days.
NT$ 3,205
NT$ 3,205

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Transitions and Trees: An Introduction to Structural Operational Semantics "

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews