Sousa Pinto, Jorge
2  Ergebnisse:
Personensuche X
?
1

Rigorous software development 

an introduction to program verification  Undergraduate topics in computer science
Exemplar:  Zentrale:E02 a inf 440 ver/407
 
?
2

Distributions, ultradistributions and other generalized fun.. 

Ellis Horwood series in mathematics and its applications
Exemplar:  Zentrale:E02 a mat 474 e/720
 
1-2