1476364-3  

Formal aspects of computing : applicable formal methods / BCS-FACS

London : Springer

[Berlin ; Heidelberg] : Springer

1.1989 -

Titelzusatz früher: the international journal of formal methods

Online-Ressource

Gesehen am 01.11.2022

Erscheint auch als Druck-Ausgabe:  Formal aspects of computing  (ISSN: 0934-5043) 

Autorisierte ISSN: 1433-299X

ISSN: 1433-299X

OCLC-Nr.: 1368107386

https://ezb.ur.de/?1476364-3  [EZB] 

https://www.springer.com/journal/165  [Verlag] 

https://www.springer.com/journal/165  [Verlag; 1.1989 - 14.2002. - Nationallizenz] 

DDC-Sachgruppen der ZDB: 004 Informatik 

Weitere Klassifikation(en):
Systematik der TUB München (stub): DAT 310z ; DAT 510z

Schlagwörter:
Formale Methode ; Zeitschrift ; Online-Publikation
Systementwicklung ; Theoretische Informatik ; Zeitschrift ; Online-Ressource
Formale Sprache ; Zeitschrift ; Online-Ressource

Zeitschrift

Englisch 

Vereinigtes Königreich, Großbritannien  ;  Deutschland 

Online-Ausgabe

alle zwei Monate

Archivierung/Langzeitarchivierung gewährleistet ; Bestandsführende Institution:  Frankfurt/M DNB 

Deutsche Forschungsgemeinschaft

01969394X

02-05-24

1000496-8  

Formal aspects of computing : the internat. journal of formal methods / founded by BCS-FACS, The British Computer Society's Specialist Group in Formal Aspects of Computing Science

London ; Berlin : Springer

1.1989 -

Index 1/9.1989/97 in: 9.1997,5/6

Erscheint auch als Online-Ausgabe:  Formal aspects of computing  (ISSN: 1433-299X) 

Autorisierte ISSN: 0934-5043

ISSN: 0934-5043

OCLC-Nr.: 231031173

DDC-Sachgruppen der ZDB: 004 Informatik 

Schlagwörter:
Formale Sprache ; Zeitschrift

Zeitschrift

Englisch 

Vereinigtes Königreich, Großbritannien  ;  Deutschland 

Druckausgabe

alle zwei Monate

Archivierung/Langzeitarchivierung gewährleistet ; Kontext:  Pflichtexemplar Baden-Württemberg ; Bestandsführende Institution:  Karlsruhe LB 

015340198

03-09-22