Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
developing microsoft » exploring microsoft, designing microsoft
programs developing » projects developing, program development, process developing
microsoft https » microscopy https, microsoft htc
base programs » based programs, basic programs, abuse programs
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
base programs » based programs, basic programs, abuse programs
integer base » integer based, integer bases, integer basic
1
Veröffentlicht 2010
Inhaltsangabe:
“... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2007
Inhaltsangabe:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Volltext
Elektronisch
E-Book