ISBN9783540876021 (ISBN-13 : pbk.)
3540876022 (pbk.)
数量xii, 382 p. : ill. ; 24 cm.
並列タイトル等Abstract state machines, B and Z : 1st international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings
一般注記Abstracts and selected papers.
"The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method, (...) " -- pref.
書誌注記Includes bibliographical references and author index.