Transitions and Trees : (Record no. 37873)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02240nam a22003137a 4500 |
001 - CONTROL NUMBER | |
control field | sulb-eb0016435 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | BD-SySUS |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20160405140609.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 101021s2010||||enk o ||1 0|eng|d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780511840449 (ebook) |
Canceled/invalid ISBN | 9780521197465 (hardback) |
Canceled/invalid ISBN | 9780521147095 (paperback) |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | UkCbUP |
Language of cataloging | eng |
Description conventions | rda |
Transcribing agency | UkCbUP |
Modifying agency | BD-SySUS. |
050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76.7 |
Item number | .H88 2010 |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.131 |
Edition number | 22 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Hüttel, Hans, |
Relator term | author. |
245 10 - TITLE STATEMENT | |
Title | Transitions and Trees : |
Remainder of title | An Introduction to Structural Operational Semantics / |
Statement of responsibility, etc. | Hans Hüttel. |
246 3# - VARYING FORM OF TITLE | |
Title proper/short title | Transitions & Trees |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | Cambridge : |
Name of producer, publisher, distributor, manufacturer | Cambridge University Press, |
Date of production, publication, distribution, manufacture, or copyright notice | 2010. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 online resource (290 pages) : |
Other physical details | digital, PDF file(s). |
336 ## - CONTENT TYPE | |
Content type term | text |
Content type code | txt |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | computer |
Media type code | c |
Source | rdamedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Carrier type code | cr |
Source | rdacarrier |
500 ## - GENERAL NOTE | |
General note | Title from publisher's bibliographic system (viewed on 04 Apr 2016). |
520 ## - SUMMARY, ETC. | |
Summary, etc. | 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. |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Print version: |
International Standard Book Number | 9780521197465 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="http://dx.doi.org/10.1017/CBO9780511840449">http://dx.doi.org/10.1017/CBO9780511840449</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | |
Koha item type |
No items available.