ISBN9783642166891 (ISBN-13 : pbk.)
364216689X (pbk.)
数量viii, 308 p. : ill. ; 24 cm.
並列タイトル等Unifying theories of programming : 3rd international symposium, UTP 2010 : Shanghai, China, November 15-16, 2010 : proceedings
一般注記Selected papers.
Held in conjunction with the 12th International Conference on Formal Engineering Methods (ICFEM 2010) .
"The program for the UTP 2010 symposium includes one invited tutorial, (...) " -- pref.
書誌注記Includes bibliographical references and author index.