【 B. Berard 】の作品Systems and Software Verification: Model-Checking Techniques and Tools製作者 B. Berard販売元 Springer Berlin Heidelberg発売日 販売日未定