Data refinementW.-P. de Roever

Data refinement

W.-P. de Roever · 2009

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2009
Language: English
Series: Cambridge tracts in theoretical computer science -- 47
Publisher: Cambridge University Press
Editions: 1
Pages: 423
ISBN: 9780521103503

Data source: Wikidata

More by W.-P. de Roever

Concurrency verificationW.-P. de Roever

Concurrency verification

W.-P. de Roever · 2001

Data refinementW.-P. de Roever

Data refinement

W.-P. de Roever · 1998