Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Advanced Topics in Bisimulation and Coinduction

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Advanced Topics in Bisimulation and Coinduction Davide Sangiorgi
Libristo-code: 04411820
Uitgeverij Cambridge University Press, oktober 2011
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf... Volledige beschrijving
? points 375 b
154.81 €
In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Wordt verwacht
Guide de l'assurance-vie 23/24 Leroy / Boek Boek
common.buy 74.17 €
Der weisse Konig György Dragomán / Boek Gebonden (paperback)
common.buy 14.52 €
Promenade méthode de japonais - Volume 3, niveau A2 Kito / Boek Gebonden (paperback)
common.buy 38.04 €
El mago Mangarín Roldán López / Boek Gebonden (paperback)
common.buy 18.16 €
Ewiges Vergessen - Fachpraktikum bei der Alzheimer Gesellschaft Brandenburg e.V. Konstantin Bodach / Boek Gebonden (paperback)
common.buy 16.14 €
ISRAEL (Wandkalender immerwährend DIN A3 quer) Oliver Weyer / Kalender/agenda Kalender
common.buy 35.21 €
El reino destrozado Erin Watt / E-book Adobe ePub DRM
common.buy 7.66 €
ON ES EL WALLY? HANDFORD / Boek Boek
common.buy 17.15 €
O Duque e a Filha do Reverendo (A Eterna Colecao de Barbara Cartland 3) Cartland / Luisterboek MP3
common.buy 7.16 €
Bondromantik - erotisk novell Cupido / Luisterboek MP3
common.buy 3.12 €
Molang. Самый кавайный (творческий блокнот) Наталья Котятова / Boek Gebonden (harde band)
common.buy 9.68 €
Returning, Dream Paradise Cinema Audio Audio vinyl
common.buy 27.14 €
Moeglichkeiten von Merchandising fur Nonprofit-Organisationen Markus Berg / Boek Gebonden (paperback)
common.buy 33.90 €
Technische Mechanik in Der Feinwerktechnik Klaus Agne / Boek Gebonden (paperback)
common.buy 47.02 €
"Für alle Fälle..." Arbeitsgruppe Pflege und Ethik der Akademie für Ethik in der Medizin e. V. / Boek Gebonden (paperback)
common.buy 20.88 €
Gecenin Aynasi Irene Hannon / Boek Gebonden (paperback)
common.buy 14.12 €
Cela, piel adentro Cela Conde / Boek Gebonden (paperback)
common.buy 22.29 €
Autoestima y desarrollo personal con PNL Salvador Alfonso Carrión López / Boek Gebonden (paperback)
common.buy 13.21 €
L'Esclavage Africain: Conference Sur l'Esclavage Dans Le Haut-Congo, Lavigerie-C / Boek Gebonden (paperback)
common.buy 13.11 €
Vacaciones: repaso de Lengua. 6 Educación Primaria Equipo Pedagógico Ediciones SM / Boek Gebonden (paperback)
common.buy 13.92 €
Aristoteles e o Estudo DOS Seres Vivos Roberto De Andrade Martins / Boek Gebonden (paperback)
common.buy 13.41 €
Kommunikation des Herzens Rahasya Fritjof Kraft / Boek Gebonden (harde band)
common.buy 12.71 €
Die Fabel Von Der Einsetzung Des Kurfurstencollegiums Durch Gregor V. Und Otto III. Victor Langhans / Boek Gebonden (paperback)
common.buy 16.44 €
Prosaische Schriften Moritz Heimann / Boek Gebonden (paperback)
common.buy 25.83 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Advanced Topics in Bisimulation and Coinduction
Auteur Davide Sangiorgi
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2011
Aantal pagina's 340
EAN 9781107004979
ISBN 1107004977
Libristo-code 04411820
Uitgeverij Cambridge University Press
Gewicht 614
Afmetingen 162 x 237 x 22

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Machinaal leren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica: algemene onderwerpen
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

African American Theater Buildings Eric Ledell Smith / Boek Gebonden (paperback)
common.buy 44.90 €
LUCY GOES TO THE BEACH Michael Gilbert / Boek Gebonden (paperback)
common.buy 8.37 €
The Innocents abroad Mark Twain / Boek Gebonden (paperback)
common.buy 36.53 €
Haptic Rendering for Simulation of Fine Manipulation Dangxiao Wang / Boek Gebonden (paperback)
common.buy 51.56 €
Bio-inspiring Cyber Security and Cloud Services: Trends and Innovations Ali Ismail Awad / Boek Gebonden (paperback)
common.buy 154.01 €
Two Sides of a Coin Um Daoud / Boek Gebonden (paperback)
common.buy 31.58 €
Is It Wrong to Try to Pick Up Girls in a Dungeon? Sword Oratoria, Vol. 2 Fujino Omori / Boek Gebonden (paperback)
common.buy 10.59 €
Around the Reading Workshop in 180 Days: A Month-By-Month Guide to Effective Instruction Frank Serafini / Boek Gebonden (paperback)
common.buy 50.15 €
Classical Moralists Benjamin Rand / Boek Gebonden (harde band)
common.buy 40.06 €
Exploring Philemon Roy Jeal / Boek Gebonden (harde band)
common.buy 44.40 €
Short History of the State in Canada E.A. Heaman / Boek Gebonden (paperback)
common.buy 47.53 €
Battle of Britain Voices Jonathan Reeve / Boek Gebonden (harde band)
common.buy 31.68 €
TOP
LITTLE WOMEN PAINTED EDITION ALCOTT LOUISA MAY / Boek Gebonden (paperback)
common.buy 11.80 €
New Horizons for Industry 4.0 in Modern Business Anand Nayyar / Boek Gebonden (paperback)
common.buy 130.59 €
Photodynamic Therapy Mans Broekgaarden / Boek Gebonden (paperback)
common.buy 220.82 €
International Joint Conference 15th International Conference on Computational Intelligence in Security for Information Systems (CISIS 2022) 13th Inter Pablo García Bringas / Boek Gebonden (paperback)
common.buy 174.49 €
Cartoon Introduction to Climate Change, Revised Edition Grady Klein / Boek Gebonden (paperback)
common.buy 31.78 €
NEW CONCEPT CHINESE 2 WORKBOOK (Anglais - Chinois avec Pinyin) / Boek Gebonden (paperback)
common.buy 20.18 €
TOP
Hold Up the Sky Cixin Liu / Boek Gebonden (paperback)
common.buy 9.68 €
The Alphabet of Trees: a field guide Laura Conway / Boek binding.
common.buy 30.47 €
Art and Culture of Scandinavian Central Europe, 1550-1720 Kristoffer Neville / Boek Gebonden (harde band)
common.buy 45.61 €
Music and Bad Manners Carl Van Vechten / Boek Gebonden (paperback)
common.buy 23.20 €
Be Healed from Diabetes Stellah Mupanduki / Boek Gebonden (paperback)
common.buy 17.45 €
In Defense of Mermaids: Poems of a Dominican Priest Thomas Dominic Rover O P / Boek Gebonden (paperback)
common.buy 12.10 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?