Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Transitions and Trees

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

Hans Huttel

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 04091267

Založba Cambridge University Press, april 2010

Structural operational semantics is a simple, yet powerful mathematical theory for describing the be... Celoten opis

Koda Libristo: 04091267

299 b

123.63 €

Na zalogi pri dobavitelju Odposlali bomo v 10-18 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Die Erste Gemeinde (1921) Wilhelm Scharrelmann

Mehka

28.37 €

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

Mehka

15.29 €

Frankenstein (oder: Der moderne Prometheus) Mary Wollstonecraft Shelley

Mehka

10.33 €

Effektives Management von ESG-Risiken in Finanzinstituten Laura Mervelskemper

Mehka

52.08 €

Bauplane der Schopfung Johannes Huber

Adobe ePub DRM

19.75 €

ABC des guten Lebens Ursula Knecht

Mehka

6.48 €

Escursioni a Courmayeur Andrea Greci

Mehka

24.72 €

O líné babičce Alena Kastnerová

Trda

9.62 €

Italienbilder Jörg Helbig

Mehka

34.55 €

Na shledanou v Paříži Irena Jirků

Mehka

9.52 €

Posvätenie kňazstva Anselm Grün

Trda

3.44 €

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

Mehka

47.22 €

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

Mehka

22.89 €

Predigten der Hoffnung Mader Hans

Mehka

17.93 €

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.