FORMAL METHODS IN SYSTEM DESIGN
Vols. 1-57 1992-2020. Reprint.
Set price $ 14,000
ISSN 0925-9856
- FORMAL METHODS IN SYSTEM DESIGN provides an international forum for research in the development and application of formal methods in VLSI hardware and software system design.
PSC Reprint and Publisher's Backstock. Available from:
Periodicals Service Company
351 Fairview Avenue, Suite 300
Hudson, NY 12534
U.S.A.
Tel. + 1 518 822 9300
Fax. + 1 518 822 9305
Published by Springer
We have an agreement to reprint all out of print volumes and issues for Springer journals.