Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
phone Kontakt phoneWie einkaufen

Advanced Topics in Bisimulation and Coinduction

Sprache EnglischEnglisch
Buch Hardcover
Buch Advanced Topics in Bisimulation and Coinduction Davide Sangiorgi
Libristo-Code: 04411820
Verlag Cambridge University Press, Oktober 2011
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf... Vollständige Beschreibung
? points 323 b
132.09 € inkl. MwSt.
Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Top
Besser fühlen Leon Windscheid / Buch Broschur
common.buy 16.00 €
Promenade méthode de japonais - Volume 3, niveau A2 Kito / Buch Broschur
common.buy 31.79 €
Ewiges Vergessen - Fachpraktikum bei der Alzheimer Gesellschaft Brandenburg e.V. Konstantin Bodach / Buch Broschur
common.buy 17.95 €
El mago Mangarín Roldán López / Buch Broschur
common.buy 16.59 €
Demnächst
Guide de l'assurance-vie 23/24 Leroy / Buch Buch
common.buy 61.29 €
Der weisse Konig György Dragomán / Buch Broschur
common.buy 14.00 €
ON ES EL WALLY? HANDFORD / Buch Buch
common.buy 14.79 €
"Für alle Fälle..." Arbeitsgruppe Pflege und Ethik der Akademie für Ethik in der Medizin e. V. / Buch Broschur
common.buy 22.00 €
Molang. Самый кавайный (творческий блокнот) Наталья Котятова / Buch Hardcover
common.buy 9.09 €
Tich Lan - Đạo Tinh Muon Thuở Nguy?n Minh Ti?n / Buch Broschur
common.buy 14.79 €
Demnächst
42 Denk- und Sachaufgaben Renate Rasch / Buch Broschur
common.buy 24.95 €
Cela, piel adentro Cela Conde / Buch Broschur
common.buy 19.89 €
Prosaische Schriften Moritz Heimann / Buch Broschur
common.buy 27.19 €
Die Fabel Von Der Einsetzung Des Kurfurstencollegiums Durch Gregor V. Und Otto III. Victor Langhans / Buch Broschur
common.buy 17.09 €
Kommunikation des Herzens Rahasya Fritjof Kraft / Buch Hardcover
common.buy 15.00 €
ISRAEL (Wandkalender immerwährend DIN A3 quer) Oliver Weyer / Kalender/Terminbuch Kalender
common.buy 39.90 €
Moeglichkeiten von Merchandising fur Nonprofit-Organisationen Markus Berg / Buch Broschur
common.buy 38.00 €
Aristoteles e o Estudo DOS Seres Vivos Roberto De Andrade Martins / Buch Broschur
common.buy 12.49 €
Vacaciones: repaso de Lengua. 6 Educación Primaria Equipo Pedagógico Ediciones SM / Buch Broschur
common.buy 13.19 €
Gecenin Aynasi Irene Hannon / Buch Broschur
common.buy 14.69 €
L'Esclavage Africain: Conference Sur l'Esclavage Dans Le Haut-Congo, Lavigerie-C / Buch Broschur
common.buy 10.89 €
Autoestima y desarrollo personal con PNL Salvador Alfonso Carrión López / Buch Broschur
common.buy 11.79 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Advanced Topics in Bisimulation and Coinduction
Autor Davide Sangiorgi
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2011
Anzahl der Seiten 340
EAN 9781107004979
ISBN 1107004977
Libristo-Code 04411820
Verlag Cambridge University Press
Gewicht 614
Abmessungen 162 x 237 x 22

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen
EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

The Innocents abroad Mark Twain / Buch Broschur
common.buy 36.19 €
Haptic Rendering for Simulation of Fine Manipulation Dangxiao Wang / Buch Broschur
common.buy 51.09 €
Bio-inspiring Cyber Security and Cloud Services: Trends and Innovations Ali Ismail Awad / Buch Broschur
common.buy 152.59 €
Two Sides of a Coin Um Daoud / Buch Broschur
common.buy 26.79 €
Around the Reading Workshop in 180 Days: A Month-By-Month Guide to Effective Instruction Frank Serafini / Buch Broschur
common.buy 50.69 €
LUCY GOES TO THE BEACH Michael Gilbert / Buch Broschur
common.buy 8.89 €
Classical Moralists Benjamin Rand / Buch Hardcover
common.buy 33.89 €
Exploring Philemon Roy Jeal / Buch Hardcover
common.buy 37.29 €
Short History of the State in Canada E.A. Heaman / Buch Broschur
common.buy 40.39 €
Battle of Britain Voices Jonathan Reeve / Buch Hardcover
common.buy 31.39 €
Primer of Darksome Intent Mark Roberts / Buch Hardcover
common.buy 16.89 €
African American Theater Buildings Eric Ledell Smith / Buch Broschur
common.buy 38.09 €
Internet Infidelity Sanjeev P. Sahni / Buch Hardcover
common.buy 132.29 €
Gnarled Bones and Other Stories Tam May / Buch Broschur
common.buy 6.99 €
In Defense of Mermaids: Poems of a Dominican Priest Thomas Dominic Rover O P / Buch Broschur
common.buy 12.59 €
Be Healed from Diabetes Stellah Mupanduki / Buch Broschur
common.buy 18.19 €
Art and Culture of Scandinavian Central Europe, 1550-1720 Kristoffer Neville / Buch Hardcover
common.buy 47.09 €
Top
Hold Up the Sky Cixin Liu / Buch Broschur
common.buy 9.59 €
NEW CONCEPT CHINESE 2 WORKBOOK (Anglais - Chinois avec Pinyin) / Buch Broschur
common.buy 17.19 €
Cartoon Introduction to Climate Change, Revised Edition Grady Klein / Buch Broschur
common.buy 26.79 €
Armstrong's Handbook of Human Resource Management Practice Stephen Taylor / Buch Broschur
common.buy 51.89 €
International Joint Conference 15th International Conference on Computational Intelligence in Security for Information Systems (CISIS 2022) 13th Inter Pablo García Bringas / Buch Broschur
common.buy 172.89 €
Photodynamic Therapy Mans Broekgaarden / Buch Broschur
common.buy 218.79 €
New Horizons for Industry 4.0 in Modern Business Anand Nayyar / Buch Broschur
common.buy 129.39 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?