An Introduction to Formal Specifications and Z

Introduction

by: Ben Potter · Jane Sinclair · David Till

Paperback

ISBN: 978-0-13-478561-5

ISBN-10: 0-13-478561-4

Pearson Education Limited · 1991