Decidability of Parameterized Verification Contributor(s): Bloem, Roderick (Author), Jacobs, Swen (Author), Kalimov, Ayrat (Author) |
|
ISBN: 3031008839 ISBN-13: 9783031008832 Publisher: Springer OUR PRICE: $47.49 Product Type: Paperback Published: September 2015 |
Additional Information |
BISAC Categories: - Computers | Systems Architecture - Distributed Systems & Computing - Computers | Computer Engineering - Computers | Systems Architecture - General |
Physical Information: 0.37" H x 7.5" W x 9.25" (0.67 lbs) 158 pages |