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
Windows XP, Vol. 1 (SELECT Series)
View
Internet Searching and Indexing: The Subject Approach
View
Control Problems in Industry: Proceedings from the SIA…
View
Open Source Systems Security Certification
View
Java: Data Structures and Programming
View
User-Centered Web Development
View
Query Processing in Database Systems (Topics in Inform…
View
Fundamentals of SQL Server 2005
View
Dreamweaver CS4: The Missing Manual (Spanish Edition)
View