Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Advanced Topics in Bisimulation and Coinduction

Name: Advanced Topics in Bisimulation and Coinduction
Brand: Cambridge University Press
SKU: 04411820
Price: 155.28 EUR
Availability: InStock
Author: Davide Sangiorgi
ISBN: 9781107004979

Davide Sangiorgi

Език

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

Книга С твърди корици

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

Издателство Cambridge University Press, октомври 2011

Coinduction is a method for specifying and reasoning about infinite data types and automata with inf... Цялото описание

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

376 b

155.28 €

303.69 лв

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

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

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

Besser fühlen Leon Windscheid

С меки корици

14.48 € 28.33 лв

Promenade méthode de japonais - Volume 3, niveau A2 Kito

С меки корици

40.66 € 79.53 лв

Ewiges Vergessen - Fachpraktikum bei der Alzheimer Gesellschaft Brandenburg e.V. Konstantin Bodach

С меки корици

17.12 € 33.49 лв

El mago Mangarín Roldán López

С меки корици

16.81 € 32.88 лв

Guide de l'assurance-vie 23/24 Leroy

Книга

78.44 € 153.41 лв

Der weisse Konig György Dragomán

С меки корици

13.45 € 26.30 лв

ON ES EL WALLY? HANDFORD

Книга

15.83 € 30.96 лв

"Für alle Fälle..." Arbeitsgruppe Pflege und Ethik der Akademie für Ethik in der Medizin e. V.

С меки корици

22.14 € 43.30 лв

O Duque e a Filha do Reverendo (A Eterna Colecao de Barbara Cartland 3) Cartland

MP3

7.65 € 14.97 лв

Bondromantik - erotisk novell Cupido

MP3

3.41 € 6.67 лв

Molang. Самый кавайный (творческий блокнот) Наталья Котятова

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

10.29 € 20.13 лв

Tich Lan - Đạo Tinh Muon Thuở Nguy?n Minh Ti?n

С меки корици

17.48 € 34.20 лв

42 Denk- und Sachaufgaben Renate Rasch

С меки корици

23.74 € 46.44 лв

Cela, piel adentro Cela Conde

С меки корици

20.23 € 39.56 лв

Prosaische Schriften Moritz Heimann

С меки корици

25.87 € 50.59 лв

Die Fabel Von Der Einsetzung Des Kurfurstencollegiums Durch Gregor V. Und Otto III. Victor Langhans

С меки корици

16.55 € 32.37 лв

Kommunikation des Herzens Rahasya Fritjof Kraft

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

13.55 € 26.50 лв

ISRAEL (Wandkalender immerwährend DIN A3 quer) Oliver Weyer

Календар

37.41 € 73.16 лв

Moeglichkeiten von Merchandising fur Nonprofit-Organisationen Markus Berg

С меки корици

35.96 € 70.32 лв

Aristoteles e o Estudo DOS Seres Vivos Roberto De Andrade Martins

С меки корици

14.74 € 28.83 лв

Vacaciones: repaso de Lengua. 6 Educación Primaria Equipo Pedagógico Ediciones SM

С меки корици

14.02 € 27.41 лв

Gecenin Aynasi Irene Hannon

С меки корици

14.90 € 29.14 лв

L'Esclavage Africain: Conference Sur l'Esclavage Dans Le Haut-Congo, Lavigerie-C

С меки корици

13.09 € 25.59 лв

Autoestima y desarrollo personal con PNL Salvador Alfonso Carrión López

С меки корици

12.05 € 23.57 лв

Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Advanced Topics in Bisimulation and Coinduction

Автор Davide Sangiorgi

Език

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

Корици Книга - С твърди корици

Дата на издаване 2011

Брой страници 340

Баркод 9781107004979

ISBN 1107004977

Код Либристо 04411820

Издателство Cambridge University Press

Тегло 614

Размери 162 x 237 x 22

Може би ще Ви заинтересува

The Innocents abroad Mark Twain

С меки корици

38.70 € 75.69 лв

Haptic Rendering for Simulation of Fine Manipulation Dangxiao Wang

С меки корици

54.43 € 106.45 лв

Bio-inspiring Cyber Security and Cloud Services: Trends and Innovations Ali Ismail Awad

С меки корици

162.78 € 318.37 лв

Two Sides of a Coin Um Daoud

С меки корици

31.66 € 61.92 лв

Around the Reading Workshop in 180 Days: A Month-By-Month Guide to Effective Instruction Frank Serafini

С меки корици

51.32 € 100.38 лв

LUCY GOES TO THE BEACH Michael Gilbert

С меки корици

8.43 € 16.49 лв

Classical Moralists Benjamin Rand

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

40.15 € 78.52 лв

Exploring Philemon Roy Jeal

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

44.55 € 87.12 лв

Short History of the State in Canada E.A. Heaman

С меки корици

47.65 € 93.19 лв

Battle of Britain Voices Jonathan Reeve

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

22.66 € 44.32 лв

Primer of Darksome Intent Mark Roberts

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

20.28 € 39.66 лв

African American Theater Buildings Eric Ledell Smith

С меки корици

44.96 € 87.93 лв

Internet Infidelity Sanjeev P. Sahni

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

141.10 € 275.96 лв

Gnarled Bones and Other Stories Tam May

С меки корици

6.72 € 13.15 лв

In Defense of Mermaids: Poems of a Dominican Priest Thomas Dominic Rover O P

С меки корици

12.10 € 23.67 лв

Be Healed from Diabetes Stellah Mupanduki

С меки корици

17.54 € 34.30 лв

Art and Culture of Scandinavian Central Europe, 1550-1720 Kristoffer Neville

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

45.79 € 89.55 лв

Hold Up the Sky Cixin Liu

С меки корици

10.40 € 20.33 лв

NEW CONCEPT CHINESE 2 WORKBOOK (Anglais - Chinois avec Pinyin)

С меки корици

21.99 € 43.00 лв

Cartoon Introduction to Climate Change, Revised Edition Grady Klein

С меки корици

33.83 € 66.17 лв

Armstrong's Handbook of Human Resource Management Practice Stephen Taylor

С меки корици

66.54 € 130.13 лв

International Joint Conference 15th International Conference on Computational Intelligence in Security for Information Systems (CISIS 2022) 13th Inter Pablo García Bringas

С меки корици

184.41 € 360.67 лв