Unifying Theories of Programming
7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
AvPedro Ribeiro,Augusto Sampaio
Häftad, Engelska, 2019
Del 11885 i serien Lecture Notes in Computer Science
573 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP symposium is in honor of Sir Tony Hoare, on the occasion of his 85th birthday. The papers contained in this volume were invited, and friendly refereed, original contributions sought from the UTP community. One of the papers is from the distinguished invited speaker Tony Hoare himself. Nine other additional papers compose this volume, covering several aspects of Unifying Theories of Programming.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 13197
Network Science
Pedro Ribeiro, Fernando Silva, José Fernando Mendes, Rosário Laureano
Häftad, 2022
630 kr
Del 16556
Testing Techniques in Software Engineering
Jim Woodcook, Augusto Sampaio, Ana Cavalcanti, Paulo Borba
E-bok
2010739 kr
- Nyhet
Del 16557
Refinement Techniques in Software Engineering
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
Häftad, 2006
573 kr
Del 14900