Lecture Notes in Computer Science: Methods and Tools for Specification. An Advanced Course

Alford, M.W.; Paul, Manfred; Ansart, J.P.; Siegert, H.J.; Hommel, G.; Lamport, L.; Liskov, B.; Mullery, G.P.; Schneider, F.B.

Details

Published by: Springer

Publication Date: 1985-04-01

Format: Paperback

ISBN-13: 9783540152163

DOI: 10.1007/3-540-15216-4

Dimensions: 235cm x155cm

Pages: 576