Advanced Topics in Bisimulation and Coinduction 52 Cambridge Tracts in Theoretical Computer Science Series Number 52

824,00 RON
+ 32,49 RON Livrare

Advanced Topics in Bisimulation and Coinduction 52 Cambridge Tracts in Theoretical Computer Science Series Number 52

  • Marcă: Unbranded
Vândut de:

Advanced Topics in Bisimulation and Coinduction 52 Cambridge Tracts in Theoretical Computer Science Series Number 52

  • Marcă: Unbranded

824,00 RON

În stoc
+ 32,49 RON Livrare
Vândut de:

824,00 RON

În stoc
+ 32,49 RON Livrare

Acceptăm următoarele metode de plată

Descriere

Advanced Topics in Bisimulation and Coinduction 52 Cambridge Tracts in Theoretical Computer Science Series Number 52

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. Language: English
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Artist: Sangiorgi Davide
  • Limbă: English
  • Număr de pagini: 340
  • Format: Hardback
  • Data publicării: 2011/10/13
  • Editor / Etichetă: Cambridge University Press
  • ID Fruugo: 338034968-741696800
  • ISBN: 9781107004979

Livrări şi Returnări

Expediat în 4 zile

  • STANDARD: 32,49 RON - Livrare între mie. 17 decembrie 2025–lun. 22 decembrie 2025

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare