An Introduction to the B Abstract Machine Notation (The McGraw-Hill International Series in Software Engineering)

by: H. Haughton · K. Lano

Hardcover

details (USA).

ISBN: 978-0-07-709014-2

ISBN-10: 0-07-709014-4

McGraw-Hill Book Co Ltd · 1995