Tell your friends about this item:
Formal Methods in Computer Science - Textbooks in Mathematics 1st edition
Jiacun Wang
Price
CA$ 303.99
Ordered from remote warehouse
Expected delivery Dec 11 - 24
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Also available as:
Formal Methods in Computer Science - Textbooks in Mathematics 1st edition
Jiacun Wang
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
294 pages, 29 Tables, black and white; 154 Illustrations, black and white
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | June 25, 2019 |
| ISBN13 | 9780367225704 |
| Publishers | Taylor & Francis Ltd |
| Pages | 294 |
| Dimensions | 566 g |
| Language | English |
![Cover for Jiacun Wang · Timed Petri Nets: Theory and Application - The International Series on Discrete Event Dynamic Systems (Paperback Book) [Softcover reprint of the original 1st ed. 1998 edition] (2012)](https://imusic.b-cdn.net/images/item/original/319/9781461375319.jpg?jiacun-wang-2012-timed-petri-nets-theory-and-application-the-international-series-on-discrete-event-dynamic-systems-paperback-book&class=scaled&v=1531133890)
![Cover for Jiacun Wang · Timed Petri Nets: Theory and Application - The International Series on Discrete Event Dynamic Systems (Hardcover Book) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/706/9780792382706.jpg?jiacun-wang-1998-timed-petri-nets-theory-and-application-the-international-series-on-discrete-event-dynamic-systems-hardcover-book&class=scaled&v=1410187751)