Book (31 Dec 1995)
Not available for sale
Includes delivery to the United States
Out of stock
Thirteen papers presented at the title workshop, held in April 1995, in Boca Raton, Fla., whose objective was the analysis and synthesis of industrial applications of formal software development methods. Topics include: formal verification of the AAMP5 microprocessor; timing analysis of industrial real-time systems; formal validation of virtual fin
| ISBN: | 9780818670053 |
| Publisher: | IEEE Computer Society Press |
| Imprint: | IEEE Computer Society Press |
| Pub date: | 31 Dec 1995 |
| DEWEY: | 005.12028 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 172 |
| Weight: | -1g |
| Height: | 285mm |
| Width: | 222mm |
| Spine width: | 12mm |
$6.25off
Hardback
Published 15 Jul 2016
Save $6.25
$1.23off
Paperback
Published 27 Feb 2023
Save $1.23
