Specification of Software Systems PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Specification of Software Systems PDF full book. Access full book title Specification of Software Systems by V.S. Alagar. Download full books in PDF and EPUB format.

Specification of Software Systems

Specification of Software Systems PDF Author: V.S. Alagar
Publisher: Springer Science & Business Media
ISBN: 1475729200
Category : Computers
Languages : en
Pages : 436

Get Book Here

Book Description
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.