Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing microsoft » exploring microsoft, designing microsoft
programs developing » projects developing, program development, process developing
microsoft https » microscopy https, microsoft htc
integer java » integer data, integer dea
integer base » integer based, integer bases, integer basic
developing microsoft » exploring microsoft, designing microsoft
programs developing » projects developing, program development, process developing
microsoft https » microscopy https, microsoft htc
integer java » integer data, integer dea
integer base » integer based, integer bases, integer basic
1
Published 2010
Table of Contents:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...”View full text
Electronic
eBook