Related Books
Language: en
Pages: 430
Pages: 430
Type: BOOK - Published: 2012-09-07 - Publisher: Springer Science & Business Media
In this book, a programming model is developed that addresses the fundamental issues of 'large-scale programming'. The approach unifies several concepts from da
Language: en
Pages: 370
Pages: 370
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a m
Language: en
Pages: 389
Pages: 389
Type: BOOK - Published: 2012-09-15 - Publisher: Springer Science & Business Media
Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specificati
Language: en
Pages: 648
Pages: 648
Type: BOOK - Published: 2005-08-25 - Publisher: Springer
The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last week of July in Glasgow, Scotland, U
Language: en
Pages: 467
Pages: 467
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Written by the members of the IFIP Working Group 2.3 (Programming Methodology) this text constitutes an exciting reference on the front-line of research activit
