Formal methods in system design : an international journal, Vol.20 No.2, 2002年3月

Formal methods in system design : an international journal, Vol.20 No.2, 2002年3月

TOC

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

Volume / Issue

Send by email

Address

Subject

There are further volumes for this material.

Show other issues

Volume No.

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

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