Lecture Notes in Computer Science: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Bert, Didier; Bowen, Jonathan P.; King, Steve; Waldén, Marina

Details

Published by: Springer

Publication Date: 2003-05-20

Format: Paperback

ISBN-13: 9783540402534

DOI: 10.1007/3-540-44880-2

Dimensions: 235cm x155cm

Pages: 554