Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Advanced Topics in Bisimulation and Coinduction

Limba englezăengleză
Carte Copertă tare
Carte Advanced Topics in Bisimulation and Coinduction Davide Sangiorgi
Codul Libristo: 04411820
Editura Cambridge University Press, octombrie 2011
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf... Descrierea completă
? points 393 b
850.61 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Top Curând
Besser fühlen Leon Windscheid / Carte Carte broșată
common.buy 80.15 lei
Promenade méthode de japonais - Volume 3, niveau A2 Kito / Carte Carte broșată
common.buy 203.96 lei
Ewiges Vergessen - Fachpraktikum bei der Alzheimer Gesellschaft Brandenburg e.V. Konstantin Bodach / Carte Carte broșată
common.buy 89.60 lei
El mago Mangarín Roldán López / Carte Carte broșată
common.buy 95.43 lei
Curând
Guide de l'assurance-vie 23/24 Leroy / Carte Carte
common.buy 393.17 lei
Der weisse Konig György Dragomán / Carte Carte broșată
common.buy 77.75 lei
ON ES EL WALLY? HANDFORD / Carte Carte
common.buy 82.74 lei
"Für alle Fälle..." Arbeitsgruppe Pflege und Ethik der Akademie für Ethik in der Medizin e. V. / Carte Carte broșată
common.buy 115.80 lei
Molang. Самый кавайный (творческий блокнот) Наталья Котятова / Carte Copertă tare
common.buy 51.03 lei
Tich Lan - Đạo Tinh Muon Thuở Nguy?n Minh Ti?n / Carte Carte broșată
common.buy 96.16 lei
42 Denk- und Sachaufgaben Renate Rasch / Carte Carte broșată
common.buy 130.98 lei
Cela, piel adentro Cela Conde / Carte Carte broșată
common.buy 117.16 lei
Prosaische Schriften Moritz Heimann / Carte Carte broșată
common.buy 144.18 lei
Die Fabel Von Der Einsetzung Des Kurfurstencollegiums Durch Gregor V. Und Otto III. Victor Langhans / Carte Carte broșată
common.buy 90.75 lei
Kommunikation des Herzens Rahasya Fritjof Kraft / Carte Copertă tare
common.buy 71.00 lei
ISRAEL (Wandkalender immerwährend DIN A3 quer) Oliver Weyer / Calendar / Agendă Calendar
common.buy 195.75 lei
Moeglichkeiten von Merchandising fur Nonprofit-Organisationen Markus Berg / Carte Carte broșată
common.buy 188.37 lei
Aristoteles e o Estudo DOS Seres Vivos Roberto De Andrade Martins / Carte Carte broșată
common.buy 81.18 lei
Vacaciones: repaso de Lengua. 6 Educación Primaria Equipo Pedagógico Ediciones SM / Carte Carte broșată
common.buy 73.39 lei
Gecenin Aynasi Irene Hannon / Carte Carte broșată
common.buy 78.17 lei
L'Esclavage Africain: Conference Sur l'Esclavage Dans Le Haut-Congo, Lavigerie-C / Carte Carte broșată
common.buy 65.17 lei
Autoestima y desarrollo personal con PNL Salvador Alfonso Carrión López / Carte Carte broșată
common.buy 69.75 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Advanced Topics in Bisimulation and Coinduction
Autor Davide Sangiorgi
Limba engleză
Legare Carte - Copertă tare
Data publicării 2011
Număr pagini 340
EAN 9781107004979
ISBN 1107004977
Codul Libristo 04411820
Editura Cambridge University Press
Greutatea 614
Dimensiuni 162 x 237 x 22

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Information technology: general issues
Computing & Information Technology > Computer networking & communications
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

The Innocents abroad Mark Twain / Carte Carte broșată
common.buy 202.61 lei
Haptic Rendering for Simulation of Fine Manipulation Dangxiao Wang / Carte Carte broșată
common.buy 285.16 lei
Bio-inspiring Cyber Security and Cloud Services: Trends and Innovations Ali Ismail Awad / Carte Carte broșată
common.buy 852.37 lei
Two Sides of a Coin Um Daoud / Carte Carte broșată
common.buy 174.02 lei
Around the Reading Workshop in 180 Days: A Month-By-Month Guide to Effective Instruction Frank Serafini / Carte Carte broșată
common.buy 275.18 lei
LUCY GOES TO THE BEACH Michael Gilbert / Carte Carte broșată
common.buy 46.98 lei
Classical Moralists Benjamin Rand / Carte Copertă tare
common.buy 220.39 lei
Exploring Philemon Roy Jeal / Carte Copertă tare
common.buy 245.23 lei
Short History of the State in Canada E.A. Heaman / Carte Carte broșată
common.buy 237.75 lei
Battle of Britain Voices Jonathan Reeve / Carte Copertă tare
common.buy 175.58 lei
Primer of Darksome Intent Mark Roberts / Carte Copertă tare
common.buy 100.42 lei
African American Theater Buildings Eric Ledell Smith / Carte Carte broșată
common.buy 224.23 lei
Internet Infidelity Sanjeev P. Sahni / Carte Copertă tare
common.buy 738.64 lei
Gnarled Bones and Other Stories Tam May / Carte Carte broșată
common.buy 37.00 lei
In Defense of Mermaids: Poems of a Dominican Priest Thomas Dominic Rover O P / Carte Carte broșată
common.buy 66.63 lei
Be Healed from Diabetes Stellah Mupanduki / Carte Carte broșată
common.buy 96.57 lei
Art and Culture of Scandinavian Central Europe, 1550-1720 Kristoffer Neville / Carte Copertă tare
common.buy 249.39 lei
Top
Hold Up the Sky Cixin Liu / Carte Carte broșată
common.buy 54.57 lei
NEW CONCEPT CHINESE 2 WORKBOOK (Anglais - Chinois avec Pinyin) / Carte Carte broșată
common.buy 109.98 lei
Cartoon Introduction to Climate Change, Revised Edition Grady Klein / Carte Carte broșată
common.buy 168.20 lei
Armstrong's Handbook of Human Resource Management Practice Stephen Taylor / Carte Carte broșată
common.buy 329.97 lei
International Joint Conference 15th International Conference on Computational Intelligence in Security for Information Systems (CISIS 2022) 13th Inter Pablo García Bringas / Carte Carte broșată
common.buy 965.59 lei
Photodynamic Therapy Mans Broekgaarden / Carte Carte broșată
common.buy 1 223.41 lei
New Horizons for Industry 4.0 in Modern Business Anand Nayyar / Carte Carte broșată
common.buy 723.56 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?