Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Comparative Metric Semantics of Programming Languages

Name: Comparative Metric Semantics of Programming Languages
Brand: Springer, Berlin
SKU: 06795818
Price: 2357 CZK
Availability: InStock
Author: Franck van Breughel
ISBN: 9781461286806

Nondeterminism and Recursion

Franck van Breughel

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 06795818

Nakladatelství Springer, Berlin, prosinec 2012

During the last three decades several different styles of semantics for program ming languages have... Celý popis

Libristo kód: 06795818

236 b

2 357 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Barbapapa Barbarpapa en famille ! Au lit, les Barbabébés ! Alice Et Thomas Taylor

Pevná

193 Kč

Proteína para a sua mente Rubi Astrólogas

Brožovaná

912 Kč

Lonely Are The Brave (Mav's Version) Maverick Sabre

Audio CD

98 Kč

COLD CASES UN MAGISTRAT ENQUÊTE Jacques Dallest

Brožovaná

668 Kč

Etikettenbüchlein Marjolein Bastin

Brožovaná

154 Kč

LA BESTIA DEL REY 2 Rei Toma

Kniha

373 Kč

Klíčenka 3D Minnie

Hračka

174 Kč

Gra Architekci 7 Cudów Świata Medale

binding.

603 Kč

Power BI mit Excel Stephan Nelles

Pevná

1 077 Kč

ALIENS Hugounenc

Brožovaná

582 Kč

Schulsozialarbeit im Spannungsfeld zwischen Familie, Schule und Jugendhilfe Elisabeth Keller

Brožovaná

975 Kč

Die Sonne und der Tod Peter Sloterdijk

Brožovaná

456 Kč

Art et littérature Luís Fernando Zulietti

Brožovaná

732 Kč

Grundfragen Der Sprachforschung: Mit Rucksicht Auf W. Wundts Sprachpsychologie Erortert (1901) Berthold Delbruck

Brožovaná

598 Kč

Einfluss Unternehmensubergreifender Informationssysteme auf Industrielle Geschaftsbeziehungen Alexander Unterschütz

Brožovaná

1 434 Kč

Die Kunst zu essen Anonymus

Brožovaná

603 Kč

Diccionario Historico de Jalisco Mario Aldana Rendón

Brožovaná

1 987 Kč

Die Revolutionaere Volkspartei Kampuchea 1979 bis 1989 Kristina Chhim

Brožovaná

2 748 Kč

Marie Antoinette Stefan Zweig

Brožovaná

228 Kč

Las letras divertidas Cuadrícula Cuaderno 3 Iglesias Iglesias

Brožovaná

345 Kč

I Rossi e I Neri Anton Giulio Barrili

Brožovaná

299 Kč

Cezayir Savasinin Resimli Tarihi Benjamin Stora

Brožovaná

439 Kč

Vláček a jeho kamarádi

Leporelo

234 Kč

Alocacao dinamica de maquinas virtuais para economia de energia José M. Soares

Brožovaná

1 135 Kč

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.