Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
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č
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Advanced Topics in Bisimulation and Coinduction

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Advanced Topics in Bisimulation and Coinduction Davide Sangiorgi
Libristo kód: 04411820
Nakladatelství Cambridge University Press, říjen 2011
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf... Celý popis
? points 358 b
3 581 Kč
Skladem u dodavatele Odesíláme za 14-21 dnů

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

Zákazníci také koupili

Top
Besser fühlen Leon Windscheid / Kniha Brožovaná
common.buy 350 Kč
Promenade méthode de japonais - Volume 3, niveau A2 Kito / Kniha Brožovaná
common.buy 942 Kč
Ewiges Vergessen - Fachpraktikum bei der Alzheimer Gesellschaft Brandenburg e.V. Konstantin Bodach / Kniha Brožovaná
common.buy 369 Kč
El mago Mangarín Roldán López / Kniha Brožovaná
common.buy 406 Kč
Připravujeme
Guide de l'assurance-vie 23/24 Leroy / Kniha Kniha
common.buy 1 816 Kč
Der weisse Konig György Dragomán / Kniha Brožovaná
common.buy 307 Kč
ON ES EL WALLY? HANDFORD / Kniha Kniha
common.buy 362 Kč
"Für alle Fälle..." Arbeitsgruppe Pflege und Ethik der Akademie für Ethik in der Medizin e. V. / Kniha Brožovaná
common.buy 507 Kč
Molang. Самый кавайный (творческий блокнот) Наталья Котятова / Kniha Pevná
common.buy 236 Kč
Tich Lan - Đạo Tinh Muon Thuở Nguy?n Minh Ti?n / Kniha Brožovaná
common.buy 403 Kč
Připravujeme
42 Denk- und Sachaufgaben Renate Rasch / Kniha Brožovaná
common.buy 573 Kč
Cela, piel adentro Cela Conde / Kniha Brožovaná
common.buy 488 Kč
Prosaische Schriften Moritz Heimann / Kniha Brožovaná
common.buy 587 Kč
Die Fabel Von Der Einsetzung Des Kurfurstencollegiums Durch Gregor V. Und Otto III. Victor Langhans / Kniha Brožovaná
common.buy 380 Kč
Kommunikation des Herzens Rahasya Fritjof Kraft / Kniha Pevná
common.buy 309 Kč
ISRAEL (Wandkalender immerwährend DIN A3 quer) Oliver Weyer / Kalendář/Diář Kalendář
common.buy 805 Kč
Moeglichkeiten von Merchandising fur Nonprofit-Organisationen Markus Berg / Kniha Brožovaná
common.buy 822 Kč
Aristoteles e o Estudo DOS Seres Vivos Roberto De Andrade Martins / Kniha Brožovaná
common.buy 340 Kč
Vacaciones: repaso de Lengua. 6 Educación Primaria Equipo Pedagógico Ediciones SM / Kniha Brožovaná
common.buy 322 Kč
Gecenin Aynasi Irene Hannon / Kniha Brožovaná
common.buy 325 Kč
L'Esclavage Africain: Conference Sur l'Esclavage Dans Le Haut-Congo, Lavigerie-C / Kniha Brožovaná
common.buy 284 Kč
Autoestima y desarrollo personal con PNL Salvador Alfonso Carrión López / Kniha Brožovaná
common.buy 290 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Advanced Topics in Bisimulation and Coinduction
Autor Davide Sangiorgi
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2011
Počet stran 340
EAN 9781107004979
ISBN 1107004977
Libristo kód 04411820
Nakladatelství Cambridge University Press
Váha 614
Rozměry 162 x 237 x 22

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Strojní učení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informační technologie: obecná témata
Výpočetní a informační technologie > Počítačové sítě a komunikace
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

The Innocents abroad Mark Twain / Kniha Brožovaná
common.buy 885 Kč
Haptic Rendering for Simulation of Fine Manipulation Dangxiao Wang / Kniha Brožovaná
common.buy 1 250 Kč
Bio-inspiring Cyber Security and Cloud Services: Trends and Innovations Ali Ismail Awad / Kniha Brožovaná
common.buy 3 734 Kč
Two Sides of a Coin Um Daoud / Kniha Brožovaná
common.buy 729 Kč
Around the Reading Workshop in 180 Days: A Month-By-Month Guide to Effective Instruction Frank Serafini / Kniha Brožovaná
common.buy 1 134 Kč
LUCY GOES TO THE BEACH Michael Gilbert / Kniha Brožovaná
common.buy 191 Kč
Classical Moralists Benjamin Rand / Kniha Pevná
common.buy 924 Kč
Exploring Philemon Roy Jeal / Kniha Pevná
common.buy 1 023 Kč
Short History of the State in Canada E.A. Heaman / Kniha Brožovaná
common.buy 1 043 Kč
Battle of Britain Voices Jonathan Reeve / Kniha Pevná
common.buy 768 Kč
Primer of Darksome Intent Mark Roberts / Kniha Pevná
common.buy 439 Kč
African American Theater Buildings Eric Ledell Smith / Kniha Brožovaná
common.buy 984 Kč
Internet Infidelity Sanjeev P. Sahni / Kniha Pevná
common.buy 3 237 Kč
Gnarled Bones and Other Stories Tam May / Kniha Brožovaná
common.buy 154 Kč
In Defense of Mermaids: Poems of a Dominican Priest Thomas Dominic Rover O P / Kniha Brožovaná
common.buy 278 Kč
Be Healed from Diabetes Stellah Mupanduki / Kniha Brožovaná
common.buy 403 Kč
Art and Culture of Scandinavian Central Europe, 1550-1720 Kristoffer Neville / Kniha Pevná
common.buy 1 062 Kč
Top
Hold Up the Sky Cixin Liu / Kniha Brožovaná
common.buy 236 Kč
NEW CONCEPT CHINESE 2 WORKBOOK (Anglais - Chinois avec Pinyin) / Kniha Brožovaná
common.buy 442 Kč
Cartoon Introduction to Climate Change, Revised Edition Grady Klein / Kniha Brožovaná
common.buy 779 Kč
Armstrong's Handbook of Human Resource Management Practice Stephen Taylor / Kniha Brožovaná
common.buy 1 525 Kč
International Joint Conference 15th International Conference on Computational Intelligence in Security for Information Systems (CISIS 2022) 13th Inter Pablo García Bringas / Kniha Brožovaná
common.buy 4 231 Kč
Photodynamic Therapy Mans Broekgaarden / Kniha Brožovaná
common.buy 5 355 Kč
New Horizons for Industry 4.0 in Modern Business Anand Nayyar / Kniha Brožovaná
common.buy 3 167 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?