Click on the title to send us an inquiry by e-mail
FORMAL METHODS IN SYSTEM DESIGN
An international journal
Vols. 1-43 1992-2013. Reprint. $ 9500
- Per volume $ 260
- 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.
Title available from
Periodicals Service Company
351 Fairview Avenue, Suite 300
Hudson, NY 12534
Published by Springer
We have an agreement to reprint all out of print volumes and issues for Springer journals.