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
$ 249.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     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  

Mere med samme udgiver

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