Unifying Theories of Programming
Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Shengchao Qin
Themen in »Unifying Theories of Programming«
CSP Galois connections co-operating computer security confidentiality properties correctness design distributed testing expectations formal methods modeling pr programming recursion
Stimmen zu »Unifying Theories of Programming«
Details
ISBN: 9783642166891
Verlag: Springer Berlin
Erscheinung: 21.10.2010