{"product_id":"formal-methods-in-computer-science-9780367225704","title":"Formal Methods in Computer Science","description":"\u003cp\u003eThis textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. \u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Jiacun Wang\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e CRC Press\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 06\/25\/2019\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 294\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.15lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.80h x 6.70w x 0.90d\u003cbr\u003e\u003cb\u003eISBN:\u003c\/b\u003e 9780367225704\u003cbr\u003e\u003cp\u003e\u003cb\u003eAbout the Author\u003c\/b\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eJiacun Wang\u003c\/strong\u003e received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004.\u003c\/p\u003e\u003cp\u003eWilliam Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development. \u003c\/p\u003e\u003cbr\u003e","brand":"CRC Press","offers":[{"title":"Hardcover","offer_id":43211416436851,"sku":"9.78037E+12","price":373.58,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0555\/9255\/0515\/files\/img_fadb48fc-7e36-4e85-8451-30bff2e3344f.jpg?v=1753184301","url":"https:\/\/bookstorenmore.com\/products\/formal-methods-in-computer-science-9780367225704","provider":"Bookstore N More","version":"1.0","type":"link"}