Gebundenes Buch

Advanced Topics in Bisimulation and Coinduction

Beschreibung

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 342
• Erscheinungstermin: 13. Oktober 2011
• Englisch
• Abmessung: 235mm x 157mm x 23mm
• Gewicht: 647g
• ISBN-13: 9781107004979
• ISBN-10: 1107004977
• Artikelnr.: 33690010