Formal Specification using Z (Grassroots)

Grassroots

by David Lightfoot

Paperback

ISBN: 978-0-333-76327-8

ISBN-10: 0-333-76327-0

Red Globe Press · 2000