The Programming and Proof System ATES (eBook, PDF)
Advanced Techniques Integration into Efficient Scientific Software
Redaktion: Puccetti, Armand
Versandkostenfrei!
Sofort per Download lieferbar
72,95 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
36 °P sammeln!
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Andere Kunden interessierten sich für
