Buy Used and New UweGlässer Books

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)

by Jean-Raymond Abrial, Uwe Glässer

ISBN 13: 9783642114465

Format: Paperback (256 pages)
Publisher: Springer
Published: 20 Jan 2010

Save for later

Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642118104

Format: Paperback (416 pages)
Publisher: Springer
Published: 02 Mar 2010

Save for later