» » Formal Software Development: From VDM to Java

eBook Formal Software Development: From VDM to Java epub

by Aaron Kans,Quentin Charatan

eBook Formal Software Development: From VDM to Java epub
  • ISBN: 0333992814
  • Author: Aaron Kans,Quentin Charatan
  • Genre: Techno
  • Subcategory: Programming
  • Language: English
  • Publisher: Red Globe Press; 2003 edition (September 9, 2003)
  • Pages: 256 pages
  • ePUB size: 1264 kb
  • FB2 size 1967 kb
  • Formats mbr rtf txt docx


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.

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. Download (pdf, . 6 Mb) Donate Read. Epub FB2 mobi txt RTF. Converted file can differ from the original.

QUENTIN CHARATAN is Principal Lecturer at the University of East London. 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.

Formal Software Development : From Vdm to Java. by Aaron Kans and Quentin Charatan. This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. The book is packed with examples and exercises throughout.

Items related to Formal Software Development: From VDM to Java . Quentin Charatan Formal Software Development: From VDM to Java. ISBN 13: 9780333992814. QUENTIN CHARATAN is Principal 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.

By: Charatan, Quentin. Contributor(s): Kans, Aaron. Material type: BookPublisher: Basingstoke : Palgrave Macmillan, 2004Description: xi, 239 p. : ill. ; 25 c. SBN: 0333992814 (pb. :. Subject(s): Computer software - Development Formal methods (Computer science) September2012 September2013DDC classification: 00. Tags from this library: No tags from this library for this title.

University of East London. specifications, to formalize the bytecode verifier, and to formally derive an executable program from our specification. Performance Analysis of the Sporadic Server Implementation in Real-Time Specification for Java.

Formal Software Development book. Quentin Charatan, Aaron Kans.

Formal Software Development. Author(s): Quentin Charatan, Aaron Kans.

Finding books BookSee BookSee - Download books for free. Formal Software Development: From VDM to Java. Category: Computer Science, Software Engineering.

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.
eBooks Related to Formal Software Development: From VDM to Java
Contacts | Privacy Policy | DMCA
All rights reserved.
lycee-pablo-picasso.fr © 2016-2020