The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software
Paperback
$109.99
By Armand Puccetti (Editor), D. Brocard (Contribution by), P. Gagert (Contribution by), P. Gribomont (Contribution by), O. Pirotte (Contribution by), A. Pucetti (Contribution by), J. Raguideau (Contribution by), A. Remouchamps (Contribution by), E. Ten Cate (Contribution by)
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Select a store to view item availability.
Today, people use a large number of "systems" ranging in complexity from washing machines to international airline reservation systems. Computers are used in nearly all such systems: accuracy and security are becoming increasingly essential. The design of such computer systems should make use of development methods as systematic as those used in other engineering disciplines. A systematic development method must provide a way of writing specifications which are both precise and concise; it ...






















