bokomslag Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction

Davide Sangiorgi

Inbunden

1509:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 260 sidor
  • 2011
  • Författare: Davide Sangiorgi
  • Format: Inbunden
  • ISBN: 9781107003637
  • Språk: Engelska
  • Antal sidor: 260
  • Utgivningsdatum: 2011-10-13
  • Förlag: Cambridge University Press