| Multi-Valued Reasoning about Reactive Systems Contributor(s): Kupferman, Orna (Author) |
|
 |
ISBN: 1638281386 ISBN-13: 9781638281382 Publisher: Now Publishers OUR PRICE: $76.00 Product Type: Paperback Published: December 2022 |
| Additional Information |
| BISAC Categories: - Computers | Computer Science |
| Physical Information: 0.24" H x 6.14" W x 9.21" (0.38 lbs) 116 pages |