MARC Record

Leader
920
  
  
a| periodical
008 250703s----------------------000---eng-d
010
  
  
a| ---93648953-
001 954926987115
009 ejn03
090
  
  
a| 954926987115
210
  
  
a| FORM METH S
210
  
  
a| FORM METHOD SYST DES
210
  
  
a| FORM METHODS SYST DES
210
  
  
a| FORM. METHODS SYST. DES
210
  
  
a| FORMAL METHODS IN SYSTEM DESIGN AN INTERNATIONAL JOURNAL
210
  
  
a| FORMAL METHODS SYST DES
245
  
  
a| formal Methods in System design
260
  
  
a| UNITED STATES b| Hybrid
022
  
  
a| 0925-9856
776
  
  
x| 1572-8102
856
  
  
u| http://sfxit.ugent.be/sfx_howest?url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&rfr_id=info:sid/sfxit.com:opac_856&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&sfx.ignore_date_threshold=1&rft.object_id=954926987115&svc_val_fmt=info:ofi/fmt:kev:mtx:sch_svc&svc.fulltext=yes&
866
  
  
a| Available from 1997/02/01 volume: 10 issue: 1. s| 3860000000000676 t| 3860000000000884 x| SpringerLink Journals - AutoHoldings:Full Text z| 3850000001274526
650
  
  
a| Information Technology x| Computer Architecture, Languages and Compilers
650
  
  
a| Information Technology x| Computer Science (Hardware & Networks)
650
  
  
a| Information Technology x| Software Engineering
650
  
  
a| Material Science and Metallurgy x| Super Conductors
650
  
  
a| Mathematical Sciences x| Applied Mathematics