Book Your Summer Shop NowBook Your Summer Shop Now
Add Item to wish listAdd Item to wish list
Read sample

Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

By Nils Jansen (Editor), Sebastian Junges (Editor), Benjamin Lucien Kaminski (Editor), Christoph Matheja (Editor), Thomas Noll (Editor), Tim Quatmann (Editor), Mariëlle Stoelinga (Editor), Matthias Volk (Editor)
Paperback
$89.99
By Nils Jansen (Editor), Sebastian Junges (Editor), Benjamin Lucien Kaminski (Editor), Christoph Matheja (Editor), Thomas Noll (Editor), Tim Quatmann (Editor), Mariëlle Stoelinga (Editor), Matthias Volk (Editor)

Promotion message icon

Collect stamps to save with Rewards. 10 stamps = $5. Learn More

Formats
See All Formats & Editions
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
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, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor ...

Categories

ComputersComputers - General & MiscellaneousGeneral & Miscellaneous Computing