Algebraic Specification

Algebraic Specification
Год
 
Страниц
 
112
ISBN
 
9786133215375
Издатель
 
Книга по требованию
Искать в интернет библиотекахКупить

Описание:

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Algebraic specification is a formal process of refining specifications to systematically develop more efficient programs....

Похожие книги

ClaMLClaML
Год: 2011
.NET & J2EE Interoperability.NET & J2EE Interoperability
Автор: Peltzer D.
Год: 2004
Specification WritingSpecification Writing
Автор: C. J. Willis
Год: 1997
Building Services Component Life ManualBuilding Services Component Life Manual
Автор: BPL (Blackwell Publishing Limited)
Год: 2000
Formal Methods for Distributed ProcessingFormal Methods for Distributed Processing
Автор: Howard Bowman, John Derrick
Год: 2002