Formal Software Development by Quentin Charatan
Look inside with Google Book Preview
Formal Software Development
By Quentin Charatan

Formal Software Development

From VDM to Java

By (author) See other recent books by Quentin Charatan See other recent books by Aaron Kans
Format: Paperback

Normal Price: $114.95
Your Price: $103.46 AUD, inc. GST
Shipping: $7.95 per order
You Save: $11.50! (10% off normal price)
Plus...earn $5.17 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply



Formal Software Development by Quentin Charatan

Book Description

This gently paced software engineering text 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 contains examples and exercises throughout, and is supported by a dedicated web site.

Buy Formal Software Development book by Quentin Charatan from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9780333992814
ISBN-10: 0333992814
Format: Paperback
(247mm x 190mm x 15mm)
Pages: 256
Imprint: Palgrave Macmillan
Publisher: Palgrave Macmillan
Publish Date: 9-Sep-2003
Country of Publication: United Kingdom

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Formal Software Development book by Quentin Charatan and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Author Biography - Quentin Charatan

QUENTIN CHARATAN is Principal Lecturer at the University of East London. His research involves the integration of formal methods with object-oriented methods, and he has written widely on this subject. He is also the co-author of Java: The First Semester (McGraw Hill, 2001), and Java in Two Semesters (McGraw Hill, 2002) with Aaron Kans. AARON KANS is Senior Lecturer at the University of East London. He teaches the fundamentals of software development and visual programming, and is the co-author of Java: The First Semester (McGraw Hill, 2001), and Java in Two Semesters (McGraw Hill, 2002) with Quentin Charatan.

Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Quentin Charatan close
»
Recent books by Aaron Kans close
Formal Software Development by Aaron Kans
»
BoomerangBooks.com.au close