Practical Formal Software Engineering: Wanting the Software You Get - Bruce Mills - Books - Cambridge University Press - 9781108818643 - December 19, 2019
In case cover and title do not match, the title is correct

Bruce Mills
Practical Formal Software Engineering: Wanting the Software You Get

Price
HK$ 592
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

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

A textbook with a practical bent, for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. Assuming prior experience with C, C++, or Java programming languages, this book examines the interaction between code in a physical machine and the logic applied in creating the software.

376 pages, Worked examples or Exercises; 6 Tables, unspecified

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 19, 2019
ISBN13 9781108818643
Publishers Cambridge University Press
Pages 376
Dimensions 187 × 246 × 22 mm   ·   666 g

More by Bruce Mills

Show all

Mere med samme udgiver

See all of Bruce Mills ( e.g. Paperback Book and Hardcover Book )