The Formal description technique Lotos : results of the ESPRIT/SEDOS Project

Bibliographic Information

The Formal description technique Lotos : results of the ESPRIT/SEDOS Project

edited by Peter H.J. van Eijk, Chris A. Vissers, Michel Diaz

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub., 1989

Available at  / 9 libraries

Search this Book/Journal

Note

Includes bibliographies

Details

Page Top