Paperback (30 May 1995)
Not available for sale
Out of stock
Adopting an informal presentation, this text presents the difficult subject area of Formal Methods.Aiming to make the work accessible and motivational, the authors approach the subject from a "teaching/learning" perspective rather than fromm the traditional and dominant research angle.;This work is intended for use by advanced undergraduate or graduate students with a basic grounding in discrete mathematics.
| ISBN: | 9780201656978 |
| Publisher: | Pearson Education |
| Imprint: | Pearson |
| Pub date: | 30 May 1995 |
| DEWEY: | 005.131 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 637 |
| Weight: | 934g |
| Height: | 243mm |
| Width: | 167mm |
| Spine width: | 32mm |
$23.12off
Data Storytelling With Generati...
Hardback
Published 01 Oct 2024
Save $23.12
$30.27off
Idiomatic Rust
Hardback
Published 01 Oct 2024
Save $30.27
$24.52off
GitHub Actions in Action
Hardback
Published 23 Dec 2024
Save $24.52
$7.85off
C++ Brain Teasers
Paperback
Published 07 Jun 2024
Save $7.85
$10.41off
DuckDB in Action
Hardback
Published 26 Aug 2024
Save $10.41
$2.61off
Java Programming Exercises. Vol...
Paperback
Published 04 Sep 2024
Save $2.61
$10.22off
Learn Generative AI With PyTorch
Hardback
Published 13 Dec 2024
Save $10.22
$8.73off
Blockchain in Action
Paperback
Published 16 Mar 2020
Save $8.73
$5.00off
Data Analytics for Finance Usin...
Paperback
Published 30 Dec 2024
Save $5.00
