Foundations of Algebraic Specification and Formal Software Development - Monographs in Theoretical Computer Science. An EATCS Series - Donald Sannella - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642173356 - December 30, 2011
In case cover and title do not match, the title is correct

Donald Sannella
Foundations of Algebraic Specification and Formal Software Development - Monographs in Theoretical Computer Science. An EATCS Series 2012 edition

Price
Íkr 15,689
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 8 - 16

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.

600 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 30, 2011
ISBN13 9783642173356
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 584
Dimensions 155 × 235 × 38 mm   ·   952 g
Language English  

Mere med samme udgiver

See all of Donald Sannella ( e.g. Paperback Book and Hardcover Book )