Related Books
Language: en
Pages: 188
Pages: 188
Type: BOOK - Published: 2014-03-12 - Publisher: Springer
This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which i
Language: en
Pages: 196
Pages: 196
Type: BOOK - Published: 1987-08-26 - Publisher: Springer Science & Business Media
This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which i
Language: en
Pages: 259
Pages: 259
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Language: en
Pages: 450
Pages: 450
Type: BOOK - Published: 1988-12-07 - Publisher: Springer Science & Business Media
The idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most represent
Language: en
Pages: 412
Pages: 412
Type: BOOK - Published: 1988-10-12 - Publisher: Springer Science & Business Media
This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hambu