Hardback (31 Mar 1992)
Not available for sale
Out of stock
This study of software dynamics is concerned with software specification timing analysis, based on explicit analytical handling of time parameters of software formal description (the Q model). The detection of timing errors is also covered.
| ISBN: | 9780138340605 |
| Publisher: | Prentice Hall International Paperback Editions |
| Imprint: | Prentice Hall International Paperback Editions |
| Pub date: | 31 Mar 1992 |
| Number of pages: | 250 |
| Weight: | -1g |
$15.92off
The Art of Agile Development
Paperback
Published 26 Oct 2021
Save $15.92
$8.38off
Data Analysis With Python and P...
Paperback
Published 16 Mar 2022
Save $8.38
$0.73off
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $0.73
$13.33off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.33
$16.46off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.46
$4.86off
Foundations of Software Testing...
Paperback
Published 05 Nov 2024
Save $4.86
$19.32off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $19.32
$17.48off
Learning DevSecOps
Paperback
Published 24 May 2024
Save $17.48
$72.89off
Applied Interval Analysis
Hardback
Published 30 Aug 2001
Save $72.89