Formal Software Development: From VDM to Java
Language: English
Published by Palgrave Macmillan, 2003
- Softcover
- New
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
AbeBooks seller since October 9, 2009
Condition: New
US$ 203.35
Quantity: Over 20 available
Add to basketItem description from seller
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. Num Pages: 256 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 191 x 246 x 15. Weight in Grams: 476. . 2003. Paperback. . . . . Books ship from the US and Ireland.
Seller Inventory # V9780333992814
- Title
- Formal Software Development: From VDM to Java
- Author
- Quentin Charatan~Aaron Kans
- Publisher
- Palgrave Macmillan
- Publication year
- 2003
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 0333992814
- ISBN 13
- 9780333992814
"Synopsis" may belong to another edition of this title.
About the Author
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.
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.
"About the title" may belong to another edition of this title.
Kennys Bookstore
Olney, MD, U.S.A.
AbeBooks seller since October 9, 2009
Shipping rates within U.S.A.
| Item | 14 to 20 business days | 13 to 14 business days |
|---|---|---|
| First item | US$ 10.50 | US$ 21.00 |
Payment methods
Store description
We carry a comprehensive range of out of print and rare books.
Specialty
Revolution, War, Peace, Irish StudiesSeller's business information
Kennys Bookshop and Art Galleries (Holdings) Limited
Liosbán Retail Park, Tuam Road
Galway, Ireland H91 N5P8
Terms of sale
We guarantee the condition of every book as it's described on the Abebooks websites.
If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date.
For any queries please use the contact seller link or send an email to books@kennys.ie
Conor Kenny
Shipping terms
All books securely packaged. Some books ship from Ireland.