The Programming and Proof System ATES: Advanced Techniques Integration into Effi
124,60 €
1 Introduction. - 1.1 Abstract data types, Proof techniques. - 1.3 Organization of the book. - 2 State of the Art. - 2.1 Abstract specification and programming languages. - 2.2 Proof systems. - 2.3 Conclusions.
Jetzt bei Ebay:
