Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing microsoft » exploring microsoft, designing microsoft
program developing » programs developing, programme developing, programmes developing
computing modulo » computing modular, computing models, computing model
microsoft https » microscopy https, microsoft htc
modulo program » modul program, modular program, model program
developing microsoft » exploring microsoft, designing microsoft
program developing » programs developing, programme developing, programmes developing
computing modulo » computing modular, computing models, computing model
microsoft https » microscopy https, microsoft htc
modulo program » modul program, modular program, model program
1
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”View full text
Electronic
eBook