Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Transitions and Trees

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

Hans Huttel

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 04091267

Nakladateľstvo Cambridge University Press, apríl 2010

Structural operational semantics is a simple, yet powerful mathematical theory for describing the be... Celý popis

Libristo kód: 04091267

299 b

123.35 €

Skladom u dodávateľa Odosielame za 10-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Die Erste Gemeinde (1921) Wilhelm Scharrelmann

Brožovaná

28.30 €

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

Brožovaná

16.17 €

Frankenstein (oder: Der moderne Prometheus) Mary Wollstonecraft Shelley

Brožovaná

11.52 €

Effektives Management von ESG-Risiken in Finanzinstituten Laura Mervelskemper

Brožovaná

51.96 €

Bauplane der Schopfung Johannes Huber

Adobe ePub DRM

21.93 €

ABC des guten Lebens Ursula Knecht

Brožovaná

6.56 €

Escursioni a Courmayeur Andrea Greci

Brožovaná

27.39 €

O líné babičce Alena Kastnerová

Pevná

9.90 €

Italienbilder Jörg Helbig

Brožovaná

38.51 €

Na shledanou v Paříži Irena Jirků

Brožovaná

10.30 €

Posvätenie kňazstva Anselm Grün

Pevná

3.53 €

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

Brožovaná

47.11 €

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

Brožovaná

22.84 €

Predigten der Hoffnung Mader Hans

Brožovaná

17.89 €

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.