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 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Comparative Metric Semantics of Programming Languages

Nondeterminism and Recursion

Limba englezăengleză
Carte Carte broșată
Carte Comparative Metric Semantics of Programming Languages Franck van Breughel
Codul Libristo: 06795818
Editura Springer, Berlin, decembrie 2012
During the last three decades several different styles of semantics for program ming languages have... Descrierea completă
? points 263 b
568.52 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Etikettenbüchlein Marjolein Bastin / Carte Carte broșată
common.buy 36.78 lei
Proteína para a sua mente Rubi Astrólogas / Carte Carte broșată
common.buy 217.49 lei
Lonely Are The Brave (Mav's Version) Maverick Sabre / Audio Audio CD
common.buy 29.19 lei
Barbapapa Barbarpapa en famille ! Au lit, les Barbabébés ! Alice Et Thomas Taylor / Carte Copertă tare
common.buy 41.76 lei
COLD CASES UN MAGISTRAT ENQUÊTE Jacques Dallest / Carte Carte broșată
common.buy 144.54 lei
LA BESTIA DEL REY 2 Rei Toma / Carte Carte
common.buy 80.73 lei
Art et littérature Luís Fernando Zulietti / Carte Carte broșată
common.buy 178.10 lei
Schulsozialarbeit im Spannungsfeld zwischen Familie, Schule und Jugendhilfe Elisabeth Keller / Carte Carte broșată
common.buy 237.13 lei
Power BI mit Excel Stephan Nelles / Carte Copertă tare
common.buy 260.51 lei
ALIENS Hugounenc / Carte Carte broșată
common.buy 125.73 lei
Die Sonne und der Tod Peter Sloterdijk / Carte Carte broșată
common.buy 98.71 lei
Polrok bez sexu Dušan Taragel / Carte Carte broșată
common.buy 24.62 lei
Einfluss Unternehmensubergreifender Informationssysteme auf Industrielle Geschaftsbeziehungen Alexander Unterschütz / Carte Carte broșată
common.buy 346.03 lei
Grundfragen Der Sprachforschung: Mit Rucksicht Auf W. Wundts Sprachpsychologie Erortert (1901) Berthold Delbruck / Carte Carte broșată
common.buy 142.56 lei
Alocacao dinamica de maquinas virtuais para economia de energia José M. Soares / Carte Carte broșată
common.buy 276.30 lei
Die Kunst zu essen Anonymus / Carte Carte broșată
common.buy 130.51 lei
Diccionario Historico de Jalisco Mario Aldana Rendón / Carte Carte broșată
common.buy 483.41 lei
Die Revolutionaere Volkspartei Kampuchea 1979 bis 1989 Kristina Chhim / Carte Carte broșată
common.buy 594.71 lei
Marie Antoinette Stefan Zweig / Carte Carte broșată
common.buy 55.38 lei
Las letras divertidas Cuadrícula Cuaderno 3 Iglesias Iglesias / Carte Carte broșată
common.buy 74.60 lei
I Rossi e I Neri Anton Giulio Barrili / Carte Carte broșată
common.buy 71.80 lei
Cezayir Savasinin Resimli Tarihi Benjamin Stora / Carte Carte broșată
common.buy 105.36 lei
De kinetische studie van ammoniaksynthese Naveed Ahmad / Carte Carte broșată
common.buy 394.25 lei
Vláček a jeho kamarádi / Carte Cărți pliante
common.buy 65.35 lei

During the last three decades several different styles of semantics for program ming languages have been developed. This book compares two of them: the operational and the denotational approach. On the basis of several exam ples we show how to define operational and denotational semantic models for programming languages. Furthermore, we introduce a general technique for comparing various semantic models for a given language. We focus on different degrees of nondeterminism in programming lan guages. Nondeterminism arises naturally in concurrent languages. It is also an important concept in specification languages. In the examples discussed, the degree of non determinism ranges from a choice between two alternatives to a choice between a collection of alternatives indexed by a closed interval of the real numbers. The former arises in a language with nondeterministic choices. A real time language with dense choices gives rise to the latter. We also consider the nondeterministic random assignment and parallel composition, both couched in a simple language. Besides non determinism our four example languages contain some form of recursion, a key ingredient of programming languages.

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 Comparative Metric Semantics of Programming Languages
Autor Franck van Breughel
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 220
EAN 9781461286806
ISBN 1461286808
Codul Libristo 06795818
Editura Springer, Berlin
Greutatea 375
Dimensiuni 155 x 235 x 13

Categorii

Mathematics & Science > Mathematics > Calculus & mathematical analysis > Numerical analysis
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Applied mathematics
Computing & Information Technology > Business applications > Mathematical & statistical software
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
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

Research Methods in Anthropology H. Russell Bernard / Carte Carte broșată
common.buy 550.96 lei
Under the Cover of Chaos Lawrence Grossberg / Carte Carte broșată
common.buy 109.10 lei
Legion William Altimari / Carte Copertă tare
common.buy 162.31 lei
Reproduction in Mammals C. R. Austin / Carte Copertă tare
common.buy 164.07 lei
Miss Crystal's Family Tree Lisa-Marie Enaaja / Carte Carte broșată
common.buy 49.14 lei
Beginning Luciferian Magick Michael W. Ford / Carte Carte broșată
common.buy 86.55 lei
F.I.R.E.F.L.Y. Regina Chua / Carte Copertă tare
common.buy 150.36 lei
Ellis Island Loretto Dennis Szucs / Carte Carte broșată
common.buy 46.75 lei
United States and the Southwest Pacific C. Hartley Grattan / Carte Copertă tare
common.buy 264.04 lei
Everyone Belongs to God Christoph Friedrich Blumhardt / Carte Carte broșată
common.buy 55.17 lei
Civil Society Participation in European and Global Governance Jens Steffek / Carte Carte broșată
common.buy 306.23 lei
Challenges to Democracy K. Dowding / Carte Carte broșată
common.buy 293.87 lei
What Should I Be? It's All Up to Me! Shunda K. Brooks / Carte Carte broșată
common.buy 122.30 lei
Interstellar Intrigue MR David Alan Williams / Carte Carte broșată
common.buy 61.72 lei
The Lost Document: A Study of the Baptist Doctrine Rev Lynn Bess / Carte Carte broșată
common.buy 71.80 lei
Dominoes: Quick Starter: Lisa's Song Pack Lesley Thompson / Carte Carte broșată
common.buy 107.96 lei
Underground Transportation Systems Simon Rose / Carte Copertă tare
common.buy 131.13 lei
Step by Step Piano Course - Book 1 with Online Audio [With CD] Edna Mae Burnam / Carte Carte broșată
common.buy 53.40 lei
Trust Me I'm A Unicorn: 120 Pages I 6x9 I Music Sheet I Funny Cute Unicorn & Kittycorn Gifts I Apparel Funny Notebooks / Carte Carte broșată
common.buy 46.96 lei
Animals: Swear Word Colouring Book for Adults Curse Word Coloring Books / Carte Carte broșată
common.buy 42.18 lei
Antonio And Mellida And Antonio's Revenge, 1602 (1922) John Marston / Carte Copertă tare
common.buy 215.31 lei
Little Platoons / Carte Copertă tare
common.buy 144.54 lei
Tales of The Abnormalities Larry Larman / Carte Carte broșată
common.buy 75.54 lei
AFTER YOU FELL EA J.S. Lark / Audiobook MP3
common.buy 83.95 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?