Artículos relacionados a Transitions and Trees Hardback: An Introduction to...
Sinopsis
A rigorous, self-contained introduction to structural operational semantics and how to use it to describe, reason about and assist the implementation of features found in common programming languages. The author assumes no experience with any specific programming language, making the book easily accessible to students and computing professionals.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Hans Hüttel is Associate Professor in the Department of Computer Science at Aalborg University, Denmark.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Transitions and Trees Hardback: An Introduction to...
Imagen de archivo
Transitions and Trees: An Introduction to Structural Operational Semantics
Publicado por
Cambridge University Press, 2010
ISBN 10: 0521197465
ISBN 13: 9780521197465
Nuevo
Tapa dura
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use. Num Pages: 290 pages, 25 b/w illus. 75 tables 85 exercises. BIC Classification: UMB; UMJ. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 247 x 174 x 19. Weight in Grams: 670. . 2010. New. hardcover. . . . . Nº de ref. del artículo: V9780521197465
Comprar nuevo
EUR 131,20
Envío por EUR 9,50
Se envía de Irlanda a Estados Unidos de America
Se envía de Irlanda a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Transitions and Trees: An Introduction to Structural Operational Semantics
Publicado por
Cambridge University Press, 2010
ISBN 10: 0521197465
ISBN 13: 9780521197465
Nuevo
Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9780521197465_new
Comprar nuevo
EUR 136,60
Envío por EUR 13,46
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Transitions and Trees: An Introduction to Structural Operational Semantics
Publicado por
Cambridge University Press, 2010
ISBN 10: 0521197465
ISBN 13: 9780521197465
Nuevo
Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Nº de ref. del artículo: C9780521197465
Comprar nuevo
EUR 147,13
Envío por EUR 21,16
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Transitions and Trees: An Introduction to Structural Operational Semantics
Publicado por
Cambridge University Press, 2010
ISBN 10: 0521197465
ISBN 13: 9780521197465
Nuevo
Tapa dura
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use. Num Pages: 290 pages, 25 b/w illus. 75 tables 85 exercises. BIC Classification: UMB; UMJ. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 247 x 174 x 19. Weight in Grams: 670. . 2010. New. hardcover. . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9780521197465
Comprar nuevo
EUR 167,57
Envío por EUR 9,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Transitions and Trees (Hardcover)
Publicado por
Cambridge University Press, Cambridge, 2010
ISBN 10: 0521197465
ISBN 13: 9780521197465
Nuevo
Tapa dura
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Hardcover. 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. A rigorous, self-contained introduction to structural operational semantics and how to use it to describe, reason about and assist the implementation of features found in common programming languages. The author assumes no experience with any specific programming language, making the book easily accessible to students and computing professionals. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Nº de ref. del artículo: 9780521197465
Comprar nuevo
EUR 133,23
Envío por EUR 44,12
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Transitions and Trees
Publicado por
Cambridge University Press CUP, 2010
ISBN 10: 0521197465
ISBN 13: 9780521197465
Nuevo
Tapa dura
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 290. Nº de ref. del artículo: 26609558
Comprar nuevo
EUR 176,69
Envío por EUR 3,55
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Transitions and Trees
Publicado por
Cambridge University Press, 2010
ISBN 10: 0521197465
ISBN 13: 9780521197465
Nuevo
Tapa dura
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 290 25 Illus. Nº de ref. del artículo: 8319689
Comprar nuevo
EUR 185,38
Envío por EUR 7,75
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Transitions and Trees
Publicado por
Cambridge University Press, 2010
ISBN 10: 0521197465
ISBN 13: 9780521197465
Nuevo
Tapa dura
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 290. Nº de ref. del artículo: 18609564
Comprar nuevo
EUR 185,02
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Transitions and Trees
Publicado por
Cambridge University Press, 2010
ISBN 10: 0521197465
ISBN 13: 9780521197465
Nuevo
Tapa dura
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A rigorous, self-contained introduction to structural operational semantics and how to use it to describe, reason about and assist the implementation of features found in common programming languages. The author assumes no experience with any specific progr. Nº de ref. del artículo: 446929706
Comprar nuevo
EUR 159,58
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Transitions and Trees
Publicado por
Cambridge University Press, 2010
ISBN 10: 0521197465
ISBN 13: 9780521197465
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9780521197465
Comprar nuevo
EUR 180,25
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles