Formal specification and software development (Prentice-Hall International series in computer science)

by D Bjørner Hardcover details (USA). ISBN: 978-0-13-329003-5 ISBN-10: 0-13-329003-4 Prentice/Hall International · 1982