B 2007
Subtitle: Formal Specification and Development in B
Publisher: Springer
Published: Jun 01, 2008
Format: paperback
ISBN-13: 9783540834144
Notes: Source title: B 2007: Formal Specification and Development in B