21. The programming and proof system ATES advanced techniques integration into efficient scientific software
Author: Armand Puccetti (ed.). With contrib. by D. Brocard ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Computer programming.,Computer software -- Development.
22. Verification and Validation of Real-Time Software
Author: edited by William J. Quirk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA76
.
54
E358
1985
