Principles of Verification: Cycling the Probabilistic Landscape

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master''s and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, a...

Read more
E-book
pdf
Price
59.99 £

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master''s and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, a...

Read more

Options

  • Formats: pdf
  • ISBN: 9783031757785
  • Publication Date: 17 Nov 2024
  • Publisher: Springer Nature Switzerland
  • Product language: English
  • Drm Setting: DRM