|
Formal Aspects of Component Software
|
Farhad Arbab |
<p>This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. </p><p>The 18 full paper… |
OL19850807W |
|
Logic Colloquium' 96
|
Jesús M. Larrazabal |
This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and… |
OL19884506W |
|
Software Composition
|
Walter Binder |
The book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013, held in Budapest, Hungary, in June 2013, co-located with the STAF 2013 Federated C… |
OL19902669W |
|
Verification, Model Checking, and Abstract Interpretation
|
Roberto Giacobazzi |
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-… |
OL19909493W |