Towards an Isabelle Theory for distributed, interactive systems: The untimed case (Aachener Informatik-Berichte, Software Engineering, #45)

by Jens Christoph Burger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stuber, and Marc Wiartalla

0 ratings • 0 reviews • 0 shelved
Book cover for Towards an Isabelle Theory for distributed, interactive systems
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN13 9783844072655
  • Publish Date 15 May 2020
  • Publish Status Active
  • Publish Country DE
  • Imprint Shaker Verlag GmbH, Germany
  • Format Paperback
  • Pages 260
  • Language English