Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Uniform Title Formal methods in system design (Online)
Title Formal methods in system design [electronic resource].
Publication Info Netherlands : Kluwer Academic Publishers,
<2009-> : [Dordrecht] : Springer Netherlands


Hull Electronic Library
Click to link Date coverage
Formal methods in system design -- Springer LINK    01 Jan. 1997-
Formal methods in system design -- SpringerLINK Archive - Engineering    01 Jan. 1992 - 12 31 1996
   


Frequency Bimonthly
Pub Date Began with v. 1, no. 1 (July 1992).
ISSN 0925-9856
Click on the terms below to find similar items in the catalogue
Subject System design -- Periodicals.
Integrated circuits -- Verification -- Periodicals.
Alt author Kluwer Academic Publishers.
Springer (Firm)
Frequency Bimonthly
Pub Date Began with v. 1, no. 1 (July 1992).
ISSN 0925-9856
Subject System design -- Periodicals.
Integrated circuits -- Verification -- Periodicals.
Alt author Kluwer Academic Publishers.
Springer (Firm)
Hull Electronic Library
Formal methods in system design -- Springer LINK    01 Jan. 1997-
Formal methods in system design -- SpringerLINK Archive - Engineering    01 Jan. 1992 - 12 31 1996
   


Subject System design -- Periodicals.
Integrated circuits -- Verification -- Periodicals.
Frequency Bimonthly
Pub Date Began with v. 1, no. 1 (July 1992).
Alt author Kluwer Academic Publishers.
Springer (Firm)
ISSN 0925-9856

Links and services for this item: