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