Uniform Title Formal methods in system design (Online) Title Formal methods in system design

Published Netherlands : Kluwer Academic Publishers, <2009-> : [Dordrecht] : Springer Netherlands Began with v. 1, no. 1 (July 1992)

Online access available from: SpringerLink    01 July 1997- View Resource Record   Springer Online Journal Archives    01 Jan. 1992 - 30 Nov. 1996 View Resource Record

Copies

Description Online resource Notes Mode of access: World Wide Web Description based on: Vol. 1, numbers 1 (July 1992); title from journal contents page (SpringerLink, viewed Nov. 5, 2009) Latest issue consulted: Vol. 53, issue 3 (Dec. 2018) (SpringerLink, viewed Aug. 27, 2019) Subject System design -- Periodicals Integrated circuits -- Verification -- Periodicals Form Electronic journal Author Kluwer Academic Publishers Springer (Firm) LC no. 2008233905 ISSN 1572-8102 0925-9856

  Permalink