Items related to Formal Software Development: From VDM to Java
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.
"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 this title" may belong to another edition of this title.
- PublisherBloomsbury Academic
- Publication date2003
- ISBN 10 0333992814
- ISBN 13 9780333992814
- BindingPaperback
- LanguageEnglish
- Number of pages256
Search results for Formal Software Development: From VDM to Java
Stock Image
Formal Software Development: From VDM to Java
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR004121054
Quantity: 1 available
Stock Image
Formal Software Development: From VDM to Java
Seller: BookstoYou, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Book covers have light shelf wear. Seller Inventory # mon0000009765
Quantity: 1 available
Stock Image
Formal Software Development
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 400. Seller Inventory # 261788285
Quantity: 1 available
Stock Image
Formal Software Development
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 400. Seller Inventory # 7141026
Quantity: 1 available
Stock Image
Formal Software Development
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 400. Seller Inventory # 181788279
Quantity: 1 available
Stock Image
Formal Software Development: From VDM to Java
Seller: WYEMART LIMITED, HEREFORD, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # mon0000061268
Quantity: 1 available
Seller Image
Formal Software Development : From Vdm to Java
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1668970-n
Quantity: Over 20 available
Stock Image
Formal Software Development
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9780333992814
Quantity: Over 20 available
Stock Image
Formal Software Development
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9780333992814
Quantity: Over 20 available
Stock Image
Formal Software Development: From VDM to Java
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780333992814_new
Quantity: Over 20 available