Articoli correlati a Introduction to Bisimulation and Coinduction
Sinossi
A comprehensive treatment of two fundamental concepts in computer science, mathematics and other fields.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull'autore
Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Introduction to Bisimulation and Coinduction
Foto dell'editore
Introduction to Bisimulation and Coinduction
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9781107003637
Compra nuovo
EUR 138,05
Spedizione EUR 2,68
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
An Introduction to Bisimulation and Coinduction
Editore:
Cambridge University Press CUP, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
Nuovo
Rilegato
Da: Books Puddle, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 260. Codice articolo 263123413
Compra nuovo
EUR 164,81
Spedizione EUR 3,57
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
An Introduction to Bisimulation and Coinduction
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 260 25 Illus. Codice articolo 5773066
Compra nuovo
EUR 168,42
Spedizione EUR 7,79
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Introduction to Bisimulation and Coinduction
Print on DemandDa: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9781107003637
Compra nuovo
EUR 158,96
Spedizione EUR 20,87
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Introduction to Bisimulation and Coinduction
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. A comprehensive treatment of two fundamental concepts in computer science, mathematics and other fields.Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction an. Codice articolo 900074261
Compra nuovo
EUR 131,55
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
An Introduction to Bisimulation and Coinduction
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 260. Codice articolo 183123423
Compra nuovo
EUR 172,46
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
An Introduction to Bisimulation and Coinduction
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 264 pages. 10.04x7.13x0.83 inches. In Stock. Codice articolo x-1107003636
Compra nuovo
EUR 174,84
Spedizione EUR 14,98
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Introduction to Bisimulation and Coinduction (Hardcover)
Editore:
Cambridge University Press, Cambridge, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
Nuovo
Rilegato
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis. Bisimulation and coinduction offer powerful tools for understanding structures that are common in computer science, mathematics and other fields. No other textbook offers a comprehensive treatment of these two concepts. Here, the author teaches the basic theory and how to apply it, with a special emphasis on applications to processes. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9781107003637
Compra nuovo
EUR 150,55
Spedizione EUR 44,33
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Introduction to Bisimulation and Coinduction
Editore:
Cambridge University Press Nov 2011, 2011
ISBN 10: 1107003636
ISBN 13: 9781107003637
Nuovo
Rilegato
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Neuware - Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis. Codice articolo 9781107003637
Compra nuovo
EUR 176,53
Spedizione EUR 35,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili