Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Domains and Lambda-Calculi

Name: Domains and Lambda-Calculi
Brand: Cambridge University Press
SKU: 04090052
Price: 78.92 EUR
Availability: InStock
Author: Roberto M. Amadio
ISBN: 9780521062923

Roberto M. Amadio

Език

Английски език

Книга С меки корици

Код Либристо: 04090052

Издателство Cambridge University Press, май 2008

This book describes the mathematical aspects of the semantics of programming languages. The main goa... Цялото описание

Код Либристо: 04090052

191 b

78.92 €

154.35 лв

Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

История западной философии. Книга третья. Философия Нового времени Б. Рассел

С твърди корици

36.76 € 71.90 лв

Putování labyrintem světa Michal Vaněček

С твърди корици

11.18 € 21.87 лв

Rosalie la truffiere - texte et illustrations de moore inga moore inga Книга

Книга

14.13 € 27.64 лв

La idea de decadencia de occidente cien años después: contexto y literalidad

С меки корици

23.35 € 45.67 лв

Coloriages mystères Les Grands classiques Disney Tome 9 Eugénie Varone

Книга

22.57 € 44.15 лв

Mannesalter Michel Leiris

С меки корици

17.76 € 34.73 лв

Stora Kryptoguiden Pierre Hammar

С меки корици

18.17 € 35.54 лв

Reflexiones, máximas y aforismo Friedrich Nietzsche

С меки корици

13.72 € 26.83 лв

OEkologische Stadtsanierung Marcus Schowalter

С меки корици

45.41 € 88.82 лв

Mathematik real - Differenzierende Ausgabe Nordrhein-Westfalen - 5. Schuljahr Reinhold Koullen

С твърди корици

32.41 € 63.39 лв

Münzeinlagen Euro-Sätze

Дипляна

9.58 € 18.73 лв

Duc d'Aumont Et Les Cent-Jours En Normandie Lavalley-G

С меки корици

19.36 € 37.87 лв

Aurelius Prudentius Clemens Feyergesänge, heilige Kämpfe und Siegeskronen. Aurelius Prudentius Clemens

С меки корици

24.08 € 47.09 лв

Pideme Lo Que Quieras Megan Maxwell

С меки корици

18.69 € 36.55 лв

Adolescencia, menor maduro y bioética Francisco Javier de la Torre Díaz

С меки корици

17.65 € 34.53 лв

Dirigir personas Eduardo Rábago López

С меки корици

29.20 € 57.11 лв

Surgissement d'un nouveau monde Luyckx Ghisi

С меки корици

30.39 € 59.44 лв

Best Of,The Very Mikis Theodorakis

Аудио компактдиск

12.63 € 24.70 лв

Gehet hin und pfleget Gabriela Hofstetter

С меки корици

28.06 € 54.89 лв

Englisch 5 (On Track 1) Schulaufgaben von bayerischen Gymnasien mit Lösungen nach LehrplanPlus und G9 Monika Arndt

С меки корици

19.67 € 38.48 лв

Recrutement et Réseaux Sociaux Jennifer Philippon

С меки корици

34.95 € 68.36 лв

Bogaty ojciec biedny ojciec Robert T. Kiyosaki

С меки корици

14.29 € 27.94 лв

Mi familia es especial ANNA RAYO

С твърди корици

13.77 € 26.93 лв

Diagnostics et préconisations ? la performance sportive

С меки корици

37.80 € 73.93 лв

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science.