Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Comparative Metric Semantics of Programming Languages

Nondeterminism and Recursion

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Comparative Metric Semantics of Programming Languages Franck van Breughel
Libristo-code: 06795818
Uitgeverij Springer, Berlin, december 2012
During the last three decades several different styles of semantics for program ming languages have... Volledige beschrijving
? points 249 b
102.90 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Wordt verwacht
Etikettenbüchlein Marjolein Bastin / Boek Gebonden (paperback)
common.buy 6.66 €
Proteína para a sua mente Rubi Astrólogas / Boek Gebonden (paperback)
common.buy 39.62 €
Lonely Are The Brave (Mav's Version) Maverick Sabre / Audio Audio cd
common.buy 4.84 €
Barbapapa Barbarpapa en famille ! Au lit, les Barbabébés ! Alice Et Thomas Taylor / Boek Gebonden (harde band)
common.buy 7.67 €
COLD CASES UN MAGISTRAT ENQUÊTE Jacques Dallest / Boek Gebonden (paperback)
common.buy 27.29 €
LA BESTIA DEL REY 2 Rei Toma / Boek Boek
common.buy 14.14 €
Art et littérature Luís Fernando Zulietti / Boek Gebonden (paperback)
common.buy 32.04 €
Gra Architekci 7 Cudów Świata Medale / Boek binding.
common.buy 23.85 €
Schulsozialarbeit im Spannungsfeld zwischen Familie, Schule und Jugendhilfe Elisabeth Keller / Boek Gebonden (paperback)
common.buy 42.75 €
Power BI mit Excel Stephan Nelles / Boek Gebonden (harde band)
common.buy 47.10 €
ALIENS Hugounenc / Boek Gebonden (paperback)
common.buy 23.75 €
Die Sonne und der Tod Peter Sloterdijk / Boek Gebonden (paperback)
common.buy 16.27 €
Polrok bez sexu Dušan Taragel / Boek Gebonden (paperback)
common.buy 4.74 €
Einfluss Unternehmensubergreifender Informationssysteme auf Industrielle Geschaftsbeziehungen Alexander Unterschütz / Boek Gebonden (paperback)
common.buy 62.57 €
Grundfragen Der Sprachforschung: Mit Rucksicht Auf W. Wundts Sprachpsychologie Erortert (1901) Berthold Delbruck / Boek Gebonden (paperback)
common.buy 25.97 €
Alocacao dinamica de maquinas virtuais para economia de energia José M. Soares / Boek Gebonden (paperback)
common.buy 49.83 €
Die Kunst zu essen Anonymus / Boek Gebonden (paperback)
common.buy 24.86 €
Diccionario Historico de Jalisco Mario Aldana Rendón / Boek Gebonden (paperback)
common.buy 87.13 €
Die Revolutionaere Volkspartei Kampuchea 1979 bis 1989 Kristina Chhim / Boek Gebonden (paperback)
common.buy 113.42 €
Marie Antoinette Stefan Zweig / Boek Gebonden (paperback)
common.buy 10.00 €
Las letras divertidas Cuadrícula Cuaderno 3 Iglesias Iglesias / Boek Gebonden (paperback)
common.buy 12.73 €
I Rossi e I Neri Anton Giulio Barrili / Boek Gebonden (paperback)
common.buy 13.03 €
Cezayir Savasinin Resimli Tarihi Benjamin Stora / Boek Gebonden (paperback)
common.buy 19.10 €
De kinetische studie van ammoniaksynthese Naveed Ahmad / Boek Gebonden (paperback)
common.buy 71.06 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Comparative Metric Semantics of Programming Languages
Auteur Franck van Breughel
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 220
EAN 9781461286806
ISBN 1461286808
Libristo-code 06795818
Uitgeverij Springer, Berlin
Gewicht 375
Afmetingen 155 x 235 x 13

Categorieën

Wiskunde en wetenschap > Wiskunde > Calculus en wiskundige analyse > Numerieke analyse
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Wiskunde en wetenschap > Wiskunde > Toegepaste wiskunde
Informatica en informatietechnologie > Bedrijfsapplicaties > Wiskundige software, statistische software
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Research Methods in Anthropology H. Russell Bernard / Boek Gebonden (paperback)
common.buy 110.39 €
Under the Cover of Chaos Lawrence Grossberg / Boek Gebonden (paperback)
common.buy 20.82 €
Legion William Altimari / Boek Gebonden (harde band)
common.buy 29.71 €
Reproduction in Mammals C. R. Austin / Boek Gebonden (harde band)
common.buy 29.81 €
Miss Crystal's Family Tree Lisa-Marie Enaaja / Boek Gebonden (paperback)
common.buy 8.08 €
Beginning Luciferian Magick Michael W. Ford / Boek Gebonden (paperback)
common.buy 17.38 €
F.I.R.E.F.L.Y. Regina Chua / Boek Gebonden (harde band)
common.buy 27.49 €
Ellis Island Loretto Dennis Szucs / Boek Gebonden (paperback)
common.buy 8.38 €
United States and the Southwest Pacific C. Hartley Grattan / Boek Gebonden (harde band)
common.buy 47.81 €
Everyone Belongs to God Christoph Friedrich Blumhardt / Boek Gebonden (paperback)
common.buy 9.90 €
Civil Society Participation in European and Global Governance Jens Steffek / Boek Gebonden (paperback)
common.buy 58.32 €
Challenges to Democracy K. Dowding / Boek Gebonden (paperback)
common.buy 53.27 €
What Should I Be? It's All Up to Me! Shunda K. Brooks / Boek Gebonden (paperback)
common.buy 20.51 €
Interstellar Intrigue MR David Alan Williams / Boek Gebonden (paperback)
common.buy 11.21 €
The Lost Document: A Study of the Baptist Doctrine Rev Lynn Bess / Boek Gebonden (paperback)
common.buy 13.03 €
Dominoes: Quick Starter: Lisa's Song Pack Lesley Thompson / Boek Gebonden (paperback)
common.buy 20.31 €
Underground Transportation Systems Simon Rose / Boek Gebonden (harde band)
common.buy 23.54 €
Step by Step Piano Course - Book 1 with Online Audio [With CD] Edna Mae Burnam / Boek Gebonden (paperback)
common.buy 10.20 €
Trust Me I'm A Unicorn: 120 Pages I 6x9 I Music Sheet I Funny Cute Unicorn & Kittycorn Gifts I Apparel Funny Notebooks / Boek Gebonden (paperback)
common.buy 8.58 €
Animals: Swear Word Colouring Book for Adults Curse Word Coloring Books / Boek Gebonden (paperback)
common.buy 7.67 €
Antonio And Mellida And Antonio's Revenge, 1602 (1922) John Marston / Boek Gebonden (harde band)
common.buy 39.21 €
Little Platoons / Boek Gebonden (harde band)
common.buy 25.57 €
Tales of The Abnormalities Larry Larman / Boek Gebonden (paperback)
common.buy 13.54 €
AFTER YOU FELL EA J.S. Lark / Luisterboek MP3
common.buy 16.06 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?