Related Books
Language: en
Pages: 624
Pages: 624
Type: BOOK - Published: 2007-12-05 - Publisher: Springer Science & Business Media
This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specifi
Language: en
Pages: 266
Pages: 266
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Building software often seems harder than it ought to be. It takes longer than expected, the software's functionality and performance are not as wonderful as ho
Language: en
Pages: 236
Pages: 236
Type: BOOK - Published: 2001 - Publisher: World Scientific
Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this
Language: en
Pages: 345
Pages: 345
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way
Language: en
Pages: 300
Pages: 300
Type: BOOK - Published: 2006-06-30 - Publisher: Springer Science & Business Media
The seventh book in the CHDL Series is composed of a selection of the best articles from the Forum on Specification and Design Languages (FDL'04). FDL is the Eu
