SPIN model checking Introduction (2010) ISBN: 4274208443 [Japanese Import]

by: M Ben-Ari · Shin Nakajima · Hirokazu Yatsu · Akira Nonaka · TaroÌ" Adachi

Tankobon Softcover

details (United States).

ISBN: 978-4-274-20844-7

ISBN-10: 4-274-20844-3

ToÌ"kyoÌ" : OÌ"musha, 2010. · 2010