Podrobnosti e-časopisu

Název: formal Methods in System design Zkrácený: FORM METHODS SYST DES Zkrácený: FORM METHOD SYST DES Zkrácený: FORM METH S Zkrácený: FORMAL METHODS SYST DES Zkrácený: FORMAL METHODS IN SYSTEM DESIGN AN INTERNATIONAL JOURNAL Zkrácený: FORM. METHODS SYST. DES Alternativní: Formal Methods in System Design: an International Journal ISSN: 0925-9856 LCCN: 93648953 CODEN: FMSDE6 Recenzováno: Ano   Dostupnost: SpringerLink Journals   Dostupný od 1997/02/01 ročník: 10 číslo: 1 Dostupné pro: NTK, ÚOCHB, VŠCHT

Kategorie:
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