mural: A Formal Development Support System by R.D. Moore (English) Paperback Boo
68,50 €
1General introduction. - 2 Introduction to mural. - 2.1 General introduction. - 2.2 The proof assistant. - 2.3 The VDM support tool. - 3 Instantiation. - 3.1 Symbolic logic in mural. - 3.2 Classical first order predicate calculus.
Jetzt bei Ebay:
