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
R 2,295
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Oct 28 - Nov 9
Christmas presents can be returned until 31 January
Get notified about new Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA) releases

Our customers say:

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

Not rated yet

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  

More from the same publisher

See all of Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA)