Unifying Theories of Programming David Naumann
42,80 €
Titel: Unifying Theories of Programming, Untertitel: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers, Einband: Taschenbuch, Autor: David Naumann, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 156, Maße: 235x155x9 mm, Gewicht: 248 g, Verkäufer: buch-mimpf, Schlagworte: CSP Computational Model Galois connections Isabelle/HOL Language Classification Models of computation Object-oriented programming Programming languages Semantics Simulation UTP algebraic semantics co-operating formal methods formal software verification modeling program constructs program semantics semantics and reasoning.
Jetzt bei Ebay:
![Produktbild - Theories of Image Formation Marks, David F. [Ed.]:](https://i.ebayimg.com/thumbs/images/g/YdEAAeSwjItoEnWx/s-l140.jpg)