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