Unifying Theories of Programming
Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Andrew Butterfield
Themen in »Unifying Theories of Programming«
correctness model checking monadic maps programming reactive programming refinement calculus software engineering temporal logic transaction calculus
Stimmen zu »Unifying Theories of Programming«
Details
ISBN: 9783642145209
Verlag: Springer Berlin
Erscheinung: 30.07.2010