Opening book details…
About this Engineering article
Problems Using Open Modular System for Automated Verification by N. N. Vostroknutov; V. M. Malyshev; G. N. Solopchenko is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- N. N. Vostroknutov; V. M. Malyshev; G. N. Solopchenko
- Publisher
- Springer US; Springer-Verlag; Springer New York LLC; Springer Science and Business Media LLC (ISSN 0543-1972)
- Published
- 1987
- Field
- Engineering (Physical Sciences)
More by N. N. Vostroknutov; V. M. Malyshev; G. N. Solopchenko
Browse all works by N. N. Vostroknutov; V. M. Malyshev; G. N. Solopchenko