Formal Methods in System Design

Verfügbarkeit: für Angehörige der Hochschule für Angewandte Wissenschaften Hamburg freigeschaltet
Lizenzierter Zeitraum: SpringerNature DEAL: Jg. 56, H. 1 (2020) -   ReadMe
Lizenzierter Zeitraum: Übergangsvereinbarung DEAL: Jg. 10, H. 1 (1997) -   ReadMe
Homepage(s):
Volltext online seit: Jg. 1 , H. 1 (1992)
Verlag: Springer Science+Business Media B.V. (formerly Kluwer Academic Publishers)
ZDB Nummer: 1479899-2
Fachgruppe(n):
Schlagwort(e): Theoretische Informatik
E-ISSN(s): 1572-8102
P-ISSN(s): 0925-9856
Form: Volltext, Online und Druckausgabe
Kosten: kostenpflichtig
  Liste der teilnehmenden Institutionen, die Volltextzugriff bieten.