Powiedz znajomym o tym przedmiocie:
Practical Formal Software Engineering: Wanting the Software You Get Bruce Mills
Practical Formal Software Engineering: Wanting the Software You Get
Bruce Mills
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 | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 19 grudnia 2019 |
| ISBN13 | 9781108818643 |
| Wydawcy | Cambridge University Press |
| Strony | 378 |
| Wymiary | 187 × 246 × 22 mm · 716 g |
| Język | Angielski |