Limit search to available items
Record 12 of 33
Previous Record Next Record
Book Cover
E-journal

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 Feb. 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, no. 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