Total Books: 1 - 4 /4
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
Lee mas
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Lee mas
Modular Programming Languages
On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...
Lee mas
Parallel Computing Technologies
This book constitutes the proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, ...
Lee mas
Total Books: 1 - 4 /4
