Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Transitions and Trees

Name: Transitions and Trees
Brand: Cambridge University Press
SKU: 04091267
Price: 136.59 EUR
Availability: InStock
Author: Hans Huttel
ISBN: 9780521197465

Hans Huttel

Idioma

Inglés

Libro Tapa dura

Código Libristo: 04091267

Editores Cambridge University Press, abril 2010

Structural operational semantics is a simple, yet powerful mathematical theory for describing the be... Descripción completa

Código Libristo: 04091267

334 b

136.59 €

Almacenamiento externo Envío en 10-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Die Erste Gemeinde (1921) Wilhelm Scharrelmann

Tapa blanda

30.79 €

didaktische Rechtfertigung der Verbindung des Fachunterrichts mit dem interdisziplinaren Unterricht in der (Grund-)Schule Nadine Richters

Tapa blanda

17.89 €

Frankenstein (oder: Der moderne Prometheus) Mary Wollstonecraft Shelley

Tapa blanda

12.19 €

Effektives Management von ESG-Risiken in Finanzinstituten Laura Mervelskemper

Tapa blanda

56.99 €

Bauplane der Schopfung Johannes Huber

Adobe ePub DRM

23.19 €

ABC des guten Lebens Ursula Knecht

Tapa blanda

7.19 €

Escursioni a Courmayeur Andrea Greci

Tapa blanda

28.79 €

O líné babičce Alena Kastnerová

Tapa dura

11.59 €

Italienbilder Jörg Helbig

Tapa blanda

40.89 €

Na shledanou v Paříži Irena Jirků

Tapa blanda

11.39 €

Posvätenie kňazstva Anselm Grün

Tapa dura

4.19 €

Lügen, Lästern, Leiden lassen Angela Ittel

Tapa blanda

50.49 €

Le Roi: Les Causes Sacrees. Tome 1 Raoul De Navery

Tapa blanda

25.29 €

Predigten der Hoffnung Mader Hans

Tapa blanda

19.79 €

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.