Articles liés à Advanced Topics in Bisimulation and Coinduction

Advanced Topics in Bisimulation and Coinduction - Couverture rigide

 
9781107004979: Advanced Topics in Bisimulation and Coinduction

Synopsis

Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos des auteurs

Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.

Jan Rutten is a senior researcher at Centrum Wiskunde and Informatica (CWI) in Amsterdam and Professor of Theoretical Computer Science at Radboud University, Nijmegen.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Acheter D'occasion

état :  Assez bon
Lightly edge worn. A nice, bright...
Afficher cet article
EUR 71,72

Autre devise

EUR 37,41 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 147,68

Autre devise

EUR 4,67 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Résultats de recherche pour Advanced Topics in Bisimulation and Coinduction

Image d'archives

Sangiorgi, Davide and Jan Rutten (editors)
ISBN 10 : 1107004977 ISBN 13 : 9781107004979
Ancien ou d'occasion Couverture rigide

Vendeur : Daedalus Books, Portland, OR, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Very Good. Lightly edge worn. A nice, bright copy. ; Cambridge Tracts In Theoretical Computer Science, Series Number 52; 9.0 X 6.1 X 0.9 inches; 326 pages. N° de réf. du vendeur 328639

Contacter le vendeur

Acheter D'occasion

EUR 71,72
Autre devise
Frais de port : EUR 37,41
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Cambridge University Press, 2011
ISBN 10 : 1107004977 ISBN 13 : 9781107004979
Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In English. N° de réf. du vendeur ria9781107004979_new

Contacter le vendeur

Acheter neuf

EUR 147,68
Autre devise
Frais de port : EUR 4,67
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Cambridge University Press, 2011
ISBN 10 : 1107004977 ISBN 13 : 9781107004979
Neuf Couverture rigide

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9781107004979

Contacter le vendeur

Acheter neuf

EUR 148,91
Autre devise
Frais de port : EUR 6,97
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Sangiorgi, Davide (Editor)/ Rutten, Jan (Editor)
Edité par Cambridge Univ Pr, 2011
ISBN 10 : 1107004977 ISBN 13 : 9781107004979
Neuf Couverture rigide
impression à la demande

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Brand New. 1st edition. 340 pages. 9.50x6.50x1.00 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __1107004977

Contacter le vendeur

Acheter neuf

EUR 151,60
Autre devise
Frais de port : EUR 11,70
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Sangiorgi, Davide (EDT); Rutten, Jan (EDT)
Edité par Cambridge University Press, 2011
ISBN 10 : 1107004977 ISBN 13 : 9781107004979
Neuf Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 12619334-n

Contacter le vendeur

Acheter neuf

EUR 146,53
Autre devise
Frais de port : EUR 17,41
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Sangiorgi, Davide
Edité par Cambridge University Press, 2011
ISBN 10 : 1107004977 ISBN 13 : 9781107004979
Neuf Couverture rigide
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. &Uumlber den AutorDavide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy. Jan Rutten is a senior researcher at Centrum Wiskunde and Informatica (CWI) in Amsterdam and Professor of Theoretical Compute. N° de réf. du vendeur 760523539

Contacter le vendeur

Acheter neuf

EUR 155,12
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Sangiorgi, Davide (EDT); Rutten, Jan (EDT)
Edité par Cambridge University Press, 2011
ISBN 10 : 1107004977 ISBN 13 : 9781107004979
Neuf Couverture rigide

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 12619334-n

Contacter le vendeur

Acheter neuf

EUR 147,67
Autre devise
Frais de port : EUR 17,54
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Rutten Jan Sangiorgi Davide
Edité par Cambridge University Press, 2011
ISBN 10 : 1107004977 ISBN 13 : 9781107004979
Neuf Couverture rigide

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 340. N° de réf. du vendeur 183123391

Contacter le vendeur

Acheter neuf

EUR 169,54
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image d'archives

Davide Sangiorgi
ISBN 10 : 1107004977 ISBN 13 : 9781107004979
Neuf Couverture rigide

Vendeur : CitiRetail, Stevenage, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : new. Hardcover. 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. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics. Seven chapters deal with various aspects of bisimulation and coinduction: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9781107004979

Contacter le vendeur

Acheter neuf

EUR 155,38
Autre devise
Frais de port : EUR 29,24
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Sangiorgi, Davide (EDT); Rutten, Jan (EDT)
Edité par Cambridge University Press, 2011
ISBN 10 : 1107004977 ISBN 13 : 9781107004979
Ancien ou d'occasion Couverture rigide

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 12619334

Contacter le vendeur

Acheter D'occasion

EUR 185,50
Autre devise
Frais de port : EUR 17,54
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 6 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre