Specification of Software Systems (Texts in Computer Science)
📄 Viewing lite version
Full site ›
Book Details
Author(s)V.S. Alagar, K. Periyasamy
PublisherSpringer
ISBN / ASIN0387984305
ISBN-139780387984308
AvailabilityUsually ships in 1-2 business days
Sales Rank6,948,337
CategoryComputers
MarketplaceUnited States 🇺🇸
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.
More Books in Computers
The Good Web Site Guide 2006: The Completely Revised, …
View
The Pentium Microprocessor
View
Advanced Intel Microprocessors: 80286, 80386, And 80486
View
Differential Equations: Matrices and Models
View
Digital Experiments: Emphasizing Troubleshooting (Merr…
View
Data Structures for Computer Information Systems
View
The Little LISPer, Third Edition
View
Inside Networks
View
Computer Graphics Using Open GL (2nd Edition)
View
Computer Graphics
View