Unifying Theories of Programming Augusto Sampaio
Titel: Unifying Theories of Programming, Untertitel: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings, Einband: Taschenbuch, Autor: Augusto Sampaio, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 232, Maße: 235x155x13 mm, Gewicht: 359 g, Verkäufer: buch-mimpf, Schlagworte: Complexity theory and logic Computer Science Concurrent Separation Logic Denotational Semantics Hardware Hoare logic Model-Based Testing Program Verification Programming languages Software Engineering Software Evaluation algebraic semantics automated reasoning computer programming concurrency logic and verification probabilistic algorithms program semantics program specifications timed and hybrid models.
Jetzt bei Ebay:
