Armand Puccetti – författare

Visar alla böcker från författaren Armand Puccetti. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Programming and Proof System ATES

   Advanced Techniques Integration into Efficient Scientific Software

   Av Armand Puccetti

   Häftad, 1991

   1128 kr

   Lägg i varukorg

   This book presents the main results of Project 1158 "ATES" in the Subprogramme "Software Technology" of ESPRIT, the European Strategic Programme for Research and Development in Information Technology supported by the European Communities. The ATES system integrates formal proof techniques and …