Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programmed developing » programme developing, programmes developing, programming developing
developing microsoft » exploring microsoft, designing microsoft
microsoft https » microscopy https, microsoft htc
integer a » integers a, integer _, integer l
programmed developing » programme developing, programmes developing, programming developing
developing microsoft » exploring microsoft, designing microsoft
microsoft https » microscopy https, microsoft htc
integer a » integers a, integer _, integer l
1
Publicado 2010
Table of Contents:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Ligazón do recurso
Electrónico
eBook