Formal Methods for Software Engineering: Languages, Methods, Application
80,24 €
Part I Languages: 2 Logics for Software Engineering. - 3 The Process Algebra CSP. - 5 Specification-Based Testing. - 8 Formal Verification of Security Protocols. - Authors' Conclusion. - Appendix B Language Definition of CSP.
Jetzt bei Ebay: