Unifying Theories of Programming
First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Steve Dunne
Themen in »Unifying Theories of Programming«
CCS CSP Reversible Computing Z methodology object-orientation programming programming theory reactive design real-time real-time programming relational methods reversible computation semantics theory unification verification
Stimmen zu »Unifying Theories of Programming«
Details
ISBN: 9783540347521
Verlag: Springer Berlin
Erscheinung: 22.06.2006