Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 17.50 lei Urgent Cargus 30.50 lei Easybox 22.50 lei Punct FAN 18.50 lei Punct DPD 19.50 lei Curier DPD 27.50 lei FAN Courier 27.50 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Transitions and Trees

Limba englezăengleză
Carte Carte broșată
Carte Transitions and Trees Hans Huttel
Codul Libristo: 04090936
Editura Cambridge University Press, aprilie 2010
Structural operational semantics is a simple, yet powerful mathematical theory for describing the be... Descrierea completă
? points 205 b
448.76 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Zooman - Gewalt der Straße, 1 Blu-ray +1 DVD (Uncut Limited Mediabook) Leon Ichaso / Videoclip Blu-ray
common.buy 161.42 lei
Boh šepká tvoje meno Cherie Hill / Carte Copertă tare
common.buy 139.95 lei
Rachel Zegler Bleckwehl / Carte Carte broșată
common.buy 55.07 lei
Deutsch als Fremdsprache Dietmar Rosler / E-book Adobe ePub DRM
common.buy 103.13 lei
Nadar o morir Juan / Audiobook MP3
common.buy 39.52 lei
Studien zum west-östlichen Divan Momme Mommsen / Carte Copertă tare
common.buy 976.09 lei
Gedachtnistraining fur Senioren - Das XXL Gehirnjogging Ratselbuch mit 250 genialen Denksport-Ubungen: Knobelspiele, Logikratsel, Kreuzwortratsel, All Magic Brain / E-book Adobe ePub DRM
common.buy 46.94 lei
Que me pare o corazón se te esquezo ANDREA MACEIRAS / Carte Carte broșată
common.buy 82.46 lei
Математические модели менеджмента. Учебное пособие Владимир Глухов / Carte Copertă tare
common.buy 253.32 lei
Ich bin ein mächtiger Behemoth und lebe als Kätzchen bei einer Elfe 02 Taro Sinonome / Carte Carte broșată
common.buy 51.36 lei
Faim d'amour MERE TERESA Carte Carte broșată
common.buy 44.94 lei
Le Château de Bouges -Anglais- Vincent Cochet / Carte Carte broșată
common.buy 60.29 lei
Le Modele Du Parfait Secretaire Pour Les Beaus Esprits... Jean Menudier / Carte Carte broșată
common.buy 121.29 lei
Escolhida Pelo Lobo: Lobos de Springville - 1 Flavia Cunha / Carte Carte broșată
common.buy 43.63 lei
Di Anarkhisen John Henry Mackay / Carte Carte broșată
common.buy 125.86 lei
32 Wanderungen Sardinien Markus Meier / Carte Carte broșată
common.buy 71.93 lei
Von Wegen Werner Marischen / Carte Carte broșată
common.buy 51.36 lei
Relatos Jose Maria Arguedas / Carte Carte broșată
common.buy 48.65 lei
Herbstsplitter Ingrid Pointecker / Carte Carte broșată
common.buy 70.67 lei
Souvenirs Du Second Empire Verly-A / Carte Carte broșată
common.buy 122.39 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Transitions and Trees
Autor Hans Huttel
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 290
EAN 9780521147095
ISBN 0521147093
Codul Libristo 04090936
Editura Cambridge University Press
Greutatea 530
Dimensiuni 177 x 246 x 15

Categorii

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Functional programming
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Leopard's Fury Christine Feehan / Carte Carte broșată
common.buy 62.90 lei
Top
Hate Mail Donna Marchetti / Carte Carte broșată
common.buy 57.28 lei
Something's Happening in the City MERLAN / Carte Carte broșată
common.buy 86.87 lei
Modern Corporations and Strategies at Work Bhabani Shankar Nayak / Carte Carte broșată
common.buy 546.38 lei
Lives Of Greek Statesmen: Solon To Themistokles George W. Cox / Carte Carte broșată
common.buy 164.53 lei
Deep Learning: AI Technology Paul Christoph Feichtinger / Carte Carte broșată
common.buy 69.32 lei
The STRUCTURE of hockey: Kid's Workbook - Level 2 Youth Hockey Coaches Workshop / Carte Carte broșată
common.buy 110.75 lei
Tom Swift Among The Diamond Makers Victor Appleton / Carte Carte broșată
common.buy 105.03 lei
Gamma-Ray Bursts Diego Gotz / Carte Copertă tare
common.buy 655.44 lei
Parenting Autism Kalena Schatmeier / Carte Carte broșată
common.buy 126.51 lei
Executive Intelligence Review; Volume 41, Number 24: Published June 13, 2014 Lyndon H Larouche Jr / Carte Carte broșată
common.buy 59.18 lei
They Served Here: Thirty-Three Maxwell Men Jeffrey C Benton / Carte Carte broșată
common.buy 73.23 lei
Heather Lane McFarland / Carte Carte broșată
common.buy 61.39 lei
ROAD TO SPIRITUAL FREEDOM Harold Klemp / Carte Carte broșată
common.buy 83.09 lei
Nou
The State Bibles – The Anglo–Dutch Politics of the King James Version and the Statenvertaling Esther Van Raamsdonk / Carte Copertă tare
common.buy 746.64 lei
Healthy Bunnies for Life Mireya Ashcroft / Carte Carte broșată
common.buy 79.85 lei
Going All the Way Dan Wakefield / Carte Carte broșată
common.buy 91.49 lei
Fields Unknown - Russian and American Teachers on Their International Exchange Experiences Anatoli Rapoport / Carte Carte broșată
common.buy 316.33 lei
Ordinary Harassment Donna M Heintz / Carte Carte broșată
common.buy 69.92 lei
Poetics of Eros in Ancient Greece Claude Calame / Carte Copertă tare
common.buy 746.64 lei
Geotechnical Engineering of Landfills D.R.V. Jones / Carte Copertă tare
common.buy 596.65 lei
Memories of God and Creation Shakuntala Modi / Carte Carte broșată
common.buy 121.29 lei
Oxford Reading Tree: Level 4: Floppy's Phonics: Sounds and Letters: Book 21 Roderick Hunt / Carte Carte broșată
common.buy 29.59 lei
Preparing the Next Generation of Oral Historians Barry Lanman / Carte Carte broșată
common.buy 393.08 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?