Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Transitions and Trees

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

Hans Huttel

Sprache

Englisch

Buch Hardcover

Libristo-Code: 04091267

Verlag Cambridge University Press, April 2010

Structural operational semantics is a simple, yet powerful mathematical theory for describing the be... Vollständige Beschreibung

Libristo-Code: 04091267

269 b

109.79 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Die Erste Gemeinde (1921) Wilhelm Scharrelmann

Broschur

30.79 €

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

Broschur

17.95 €

Frankenstein (oder: Der moderne Prometheus) Mary Wollstonecraft Shelley

Broschur

10.50 €

Effektives Management von ESG-Risiken in Finanzinstituten Laura Mervelskemper

Broschur

55.00 €

Bauplane der Schopfung Johannes Huber

Adobe ePub DRM

18.49 €

ABC des guten Lebens Ursula Knecht

Broschur

7.50 €

Escursioni a Courmayeur Andrea Greci

Broschur

21.69 €

O líné babičce Alena Kastnerová

Hardcover

9.49 €

Italienbilder Jörg Helbig

Broschur

38.00 €

Na shledanou v Paříži Irena Jirků

Broschur

9.59 €

Posvätenie kňazstva Anselm Grün

Hardcover

3.49 €

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

Broschur

42.59 €

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

Broschur

20.29 €

Predigten der Hoffnung Mader Hans

Broschur

19.90 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Transitions and Trees

Autor Hans Huttel

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2010

Anzahl der Seiten 290

EAN 9780521197465

ISBN 0521197465

Libristo-Code 04091267

Verlag Cambridge University Press

Gewicht 670

Abmessungen 180 x 254 x 19

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Funktionale Programmierung

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert