Related Books
Language: en
Pages: 492
Pages: 492
Type: BOOK - Published: 1983 - Publisher: North Holland
Language: en
Pages: 680
Pages: 680
Type: BOOK - Published: 1978 - Publisher: Amsterdam ; New York : North-Holland Publishing Company
This conference was convened "to explicate programming concepts through the development, examination and comparison of various formal models of these concepts"
Language: en
Pages: 388
Pages: 388
Type: BOOK - Published: 1993-02-05 - Publisher: MIT Press
The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logi
Language: en
Pages: 652
Pages: 652
Type: BOOK - Published: 1988-03-09 - Publisher: Springer Science & Business Media
This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Lou
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
