Lecture Notes in Computer Science: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Bert, Didier; Bowen, Jonathan P.; Henson, Martin C.; Robinson, Ken

Details

Published by: Springer

Publication Date: 2002-01-16

Format: Paperback

ISBN-13: 9783540431664

DOI: 10.1007/3-540-45648-1

Dimensions: 235cm x155cm

Pages: 541