e-Journal Details

Title: formal Methods in System design Abbrev: FORM METHODS SYST DES Abbrev: FORM METHOD SYST DES Abbrev: FORM METH S Abbrev: FORMAL METHODS SYST DES Abbrev: FORMAL METHODS IN SYSTEM DESIGN AN INTERNATIONAL JOURNAL Abbrev: FORM. METHODS SYST. DES Alternative: Formal Methods in System Design: an International Journal ISSN: 0925-9856 LCCN: 93648953 CODEN: FMSDE6 Peer-Reviewed: Yes   Availability: SpringerLink Journals   Available from 1997/02/01 volume: 10 issue: 1 Authentication: NTK, ÚOCHB, VŠCHT

Categories:
Information Technology: Computer Architecture, Languages and Compilers
Information Technology: Computer Science (Hardware & Networks)
Information Technology: Software Engineering
Material Science and Metallurgy: Super Conductors
Mathematical Sciences: Applied Mathematics