Formal methods in system design.

  • Publisher: Kluwer Academic Publishers
  • Print ISSN: 0925-9856
  • Electronic ISSN: 1572-8102
  • OCLC Number: 27005794
  • Subject: System design Periodicals.
  • Subject code: QA
  • Publication history: Vol. 1, no. 1 (July 1992)-

Print Holdings

Archiving Institution Program Holdings Description Retention
Brigham Young University WEST journal archiving project (UBY) WEST, WEST Bronze v.13no.2(1998)(09), v.13no.3(1998)(11), v.26no.1(2005)(01), v.26no.2(2005)(03), v.26no.3(2005)(05), v.27no.1/2(2005)(09), v.27no.3(2005)(11), v.28no.1(2006)(01), v.28no.2(2006)(03), v.28no.3(2006)(05), v.29no.1(2006)(07), v.29no.2(2006)(09), v.29no.3(2006)(12), v.30no.1(2007)(02), v.30no.2(2007)(04), v.30no.3(2007)(06), v.31no.1(2007)(08), v.31no.2(2007)(10), v.31no.3(2007)(12), v.32no.1(2008)(02), v.32no.2(2008)(04), v.32no.3(2008)(06), v.33no.1/3(2008)(12) December 31, 2035
HathiTrust (HATHI) HTDL v.22-23 2003; v.24-25 2004 permanent
Indiana University Shared Print in Storage (IULSP) Big Ten Academic Alliance (BTAA) Shared Print Repository 1 (1992)-9 (1996) 20360630
Linda Hall Library of Science, Engineering & Technology (LHL) Linda Hall Library of Science, Engineering & Technology v.22:no.1-3 (Jan-May 2003), v.23:no.1-3 (Jul-Nov 2003), v.24:no.1-3 (Jan-May 2004), v.25:no.1-2/3 (Jul-Sep/Nov 2004), v.26:no.2-3 (Mar-May 2005), v.27:no.1/2 (Sep 2005)
University of California, SRLF Shared Print (ZAS) UCL Shared Print, Licensed Content v.24:no.2-3(2004),v.25(2004),v.26-37(2005-2010) 20351231


Digital Holdings

Program Holdings Description
CLOCKSS v.1-v.60 (1992-2023); v.125 (2018)