Formal Software Development: From VDM to Java
Language: English
Published by Palgrave Macmillan, 2003
- Softcover
- New
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
AbeBooks seller since February 27, 2001
Condition: New
US$ 241.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. . . . .
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 Bookshop and Art Galleries Ltd.
Galway, GY, Ireland
AbeBooks seller since February 27, 2001
Shipping rates from Ireland to U.S.A.
| Item | 12 to 22 business days | 10 to 20 business days |
|---|---|---|
| First item | US$ 10.67 | US$ 12.92 |
Payment methods
Store description
Kennys.ie is the largest exporter of books from Ireland currently exporting to approximately 100 countries around the world. Kennys Bookshop houses hundreds of thousands of books and specialises in collection development and library services, supplying booksellers and state and university libraries on a global scale including the U.S.A.,Japan and Europe. Kennys.ie is Ireland's Largest Online Bookshop.
Specialty
Asia, All Aspects of the Irish Experience, Irish Literature, Irish History, Human Rights, International Espionage, History of Ideas and Human Thought, Labour History, Jewish Studies and the Holocaust. Gureilla Movements., Russian and Soviet History and Literature. Womens Studies and Feminism.Seller's business information
Kennys Bookshop and Art Galleries (Holdings) Limited
Liosbán Retail Park, Tuam Road
Galway, Ireland H91 N5P8
Terms of sale
Terms of Sale - Credit Cards: Visa, Master Card, American Express, Diner.
Payment can also be made by bank draft in Euros, drawn on an Irish Bank.
We regret that PO Boxes are not acceptable to the U.S. as our courier will not deliver to them.
In case of returns or queries please contact us by email books@kennys.ie or by phone +353 91 709350
VAT Registration - IE2238521A
Conor Kenny
Shipping terms
Free Shipping