Formal Methods in Computer Science - Textbooks in Mathematics - Wang, Jiacun (Monmouth University, West Long Branch, New Jersey, USA) - Books - Taylor & Francis Ltd - 9780367225704 - June 25, 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
NZ$ 472.50
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 3 - 19
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     Hardcover Book   (Book with hard spine and cover)
Released June 25, 2019
ISBN13 9780367225704
Publishers Taylor & Francis Ltd
Pages 294
Dimensions 150 × 220 × 20 mm   ·   566 g
Language English  

More from the same publisher

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