Periodicals Service Company & Schmidt Periodicals GmbH

Academic journals in print, antiquarian backsets, back volumes, back issues and reprints


Vols. 1-53 1992-2018. Reprint.

Set price $ 13,000

  • Per volume $ 290

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.