Specification of Software Systems

by ,

Write The First Customer Review

Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.

Specification of Software Systems 2013, Springer London Ltd, England

ISBN-13: 9781447126447

Softcover reprint of hardcover 2nd edition 2011

Paperback

Select
Specification of Software Systems 1998, Springer, New York, NY

ISBN-13: 9780387984308

Hardcover

Select