Description
- ISBN-10: 9783540774259
- ISBN-13: 978-3540774259
- Edition: 2008th
- Publisher: Springer
- Publication date: 1 January 2008
- Language: English
- Dimensions: 16 x 1.52 x 23.62 cm
- Print length: 172 pages
Availability: In Stock
Unfoldings (Hb): A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
SKU: 9783540774259
Original price was: ₹11,613.99.₹7,549.09Current price is: ₹7,549.09.
Explore the cutting-edge of model checking with “Unfoldings (Hb): A Partial-Order Approach to Model Checking” from The Bookish Owl. This essential Springer hardcover, part of the Monographs in Theoretical Computer Science series, offers a deep dive into partial-order unfoldings, a powerful technique for analyzing complex systems. Ideal for researchers and advanced students in computer science, this 2008 publication provides a thorough theoretical foundation and practical insights into model checking. Enhance your understanding of formal verification methods and uncover new ways to tackle intricate modeling challenges. Discover the definitive guide to unfoldings and elevate your expertise in theoretical computer science.
5 in stock
