1–2 von 2 Ergebnissen
|

    Introduction

    Truszkowski, Walt / Hallock, Harold L. / Rouff, Christopher et al. | Springer Verlag | 2009
    Schlagwörter: Software Agent , Defense Advance Research Project Agency , Engineering

    Limits of Correctness in Computers

    Smith, Brian Cantwell | Springer Verlag | 1993
    Schlagwörter: Strategic Defense Initiative , Software Engineering/Programming and Operating Systems