Temporal Logic of Programs

Temporal Logic of Programs

Available
0
StarStarStarStarStar
0Reviews
Kroger, FredKroger, Fred
E-book
pdf
Price
44.99 £
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9783642715495
  • Publication Date: 6 Dec 2012
  • Publisher: Springer Berlin Heidelberg
  • Product language: English
  • Drm Setting: DRM