Order History
Premium Membership & Rewards
Help Center / FAQ
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
eBook
$79.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)
Collect stamps to save with Rewards. 10 stamps = $5. Learn More
Select a store to view item availability.
Available on compatible , the free NOOK App, and in My Digital Library
NOOK App
Download NOOK app
NOOK Devices
NOOK eReaders
- NOOK GlowLight 4 Plus
- NOOK GlowLight 4e
- NOOK GlowLight 4
- NOOK GlowLight Plus 7.8"
- NOOK GlowLight 3
- NOOK GlowLight Plus 6"
NOOK Tablets
- NOOK 8.7" Reading Tablet
- NOOK 9" Lenovo Tablet
- NOOK 10" HD Lenovo Tablet
- NOOK Tablet 7" & 10.1"
- NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
- NOOK by Samsung [Tab 4 10.1, S2 & E]
Free NOOK Reading Apps
- NOOK for iOS
- NOOK for Android
BN.com website
Go to your Digital Library in My Account
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 ...
You May Also Like
The Incident of the Book in the Nighttime: A Sherlock Holmes Bookshop Mystery
Sherlock Holmes Bookshop Mysteries
eBook
$14.99
CompTIA Tech+ Certification All-in-One Exam Guide, Third Edition (Exam FC0-U71)
All-in-One Exam Guide
eBook
$60.00
CompTIA Security+ Study Guide with over 500 Practice Test Questions: Exam SY0-701
Sybex Study Guide
eBook
$33.00
