![](/Images/spacer.gif) |
![](/Images/menu_shadow.gif)
![](/Images/menu_shadow.gif)
|
![](/Images/spacer.gif) |
Item Details
Title:
|
FORMAL SOFTWARE DEVELOPMENT
FROM VDM TO JAVA |
By: |
Quentin Charatan, Aaron Kans |
Format: |
Paperback |
![](/Images/divider_itemdetail_1a.gif)
List price:
|
£56.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
0333992814 |
ISBN 13: |
9780333992814 |
Publisher: |
PALGRAVE MACMILLAN |
Pub. date: |
9 September, 2003 |
Pages: |
256 |
Description: |
This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. The book contains examples and exercises throughout and is supported by a dedicated web site. |
Synopsis: |
This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout, and is supported by a dedicated web site. |
Illustrations: |
256 p. |
Publication: |
UK |
Imprint: |
Palgrave Macmillan |
Returns: |
Returnable |
|
|
|
![](/images/spacer.gif) |
![](images/menu_shadow2.gif)
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
![](/Images/menu_shadow2left.gif)
|
|
![](/Images/spacer.gif) |