Author: W.-P. de Roever
Publisher: Cambridge University Press
ISBN: 0521641705
Category : Computers
Languages : en
Pages : 439
Book Description
Graduate text in formal methods in computer science.
eBook Download Site [PDF/EPUB/KINDLE]