Formal Methods in Computer Science - Textbooks in Mathematics - Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA) - Books - Taylor & Francis Inc - 9781498775328 - July 3, 2019
In case cover and title do not match, the title is correct

Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA)
Formal Methods in Computer Science - Textbooks in Mathematics 1st edition

Price
$ 132.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 6 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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     Paperback Book   (Book with soft cover and glued back)
Released July 3, 2019
ISBN13 9781498775328
Publishers Taylor & Francis Inc
Pages 294
Dimensions 231 × 156 × 24 mm   ·   470 g
Language English  

Mere med samme udgiver

See all of Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA) ( e.g. Hardcover Book and Paperback Book )