Formale Methoden für Software Engineering: Sprachen, Methoden, Anwendung
64,89 €
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:
![Produktbild - Computational Methods for Fluid Dynamics by Ferziger, Joel H. [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/A9sAAeSwNhNoU2qo/s-l140.jpg)
![Produktbild - Mathematical Methods in Chemical and Biological Engineering [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/YrwAAeSwWL1oSWOc/s-l140.jpg)
