An Introduction to the B Abstract Machine Notation (The Mcgraw-Hill International Series in Software Engineering)
Publisher: Mcgraw Hill Book Co Ltd
Published: September 1995
Format: Hardcover
Number of pages: 288
ISBN-13: 9780077090142
Subjects: Applications of Computing; Utilities & tools; Machine theory; Software Engineering; Science/Mathematics