ebook img
Author:Peter Lucas (auth.)Dines BjørnerCliff B. JonesMícheál Mac an AirchinnighErich J. Neuhold (eds.)
Language:English
Release year:1987
File size:11.36 MB
Number of page:431
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Similar VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.