• Top
  • Details (Local collection)
Formal methods in system design : an international journal

Formal methods in system design : an international journal

TOC

Boston, U.S.A. : Kluwer Academic Publishers, c1992-

Journal / Magazine

Send by email

Address

Subject

Journal holdings

No. Location Call Number Year of holding Holding volume Continuing acceptance

1

1996-2002

8-21

2

Online Journal
Springer-LINK

-2014

3

1993-2002

2-15,16(1-2),21(2)

Volume No.

Find Past Issues:

Total: 40
Vol.21 No.3 2002年11月
No. Location Call Number Material ID Accepted on Binding status Status Waiting

1

4100717

October 08,2002

Send by email

Address

Subject

Vol.21 No.2 2002年9月
No. Location Call Number Material ID Accepted on Binding status Status Waiting

1

4100688

July 01,2002

2

August 19,2002

Send by email

Address

Subject

Vol.21 No.1 2002年7月
No. Location Call Number Material ID Accepted on Binding status Status Waiting

1

4100681

June 25,2002

Send by email

Address

Subject

Vol.20 No.3 2002年5月
No. Location Call Number Material ID Accepted on Binding status Status Waiting

1

4100650

March 20,2002

Send by email

Address

Subject

Vol.20 No.2 2002年3月
No. Location Call Number Material ID Accepted on Binding status Status Waiting

1

4100640

February 12,2002

Send by email

Address

Subject

Back to volume top

Details

First/Last publication year

Vol. 1, no. 1 (July 1992)-

Form

v. : ill. ; 24 cm

Alternative title

Form. methods syst. des

Formal methods in system design

Note

Some no. combined

Country of publication

United States

Title language

English (eng)

Language of texts

English (eng)

ISSN

09259856

NCID

AA11025734

Number

CODEN : FMSDE6

LCCN : 93648953

Edit bookmark

Select list

Memo

Select list

Add to bookmark

Select list

Not specified

Memo