e-Book
Specification In B: An Introduction Using The B Toolkit
Document Type
Book
Author
Kevin Lano
Publisher
Imperial College Press
eISBN
978-1-84816-106-1
Subject
COMPUTERS / Computer Science; COMPUTERS / Programming / General;