|
Journal description Formal aspects of computing
Journal description applicable formal methods
Journal description applicable formal methods
applicable formal methods
| Title: |
Formal aspects of computing applicable formal methods |
| Annotation: |
Verschijnt aanvankelijk 6x per jaar; later 4x per jaar Exemplaar met signatuur: e-Depot Springer. - AANWEZIG: Jrg. 10 (1998)–jrg. 23 (2009); Jrg. 22 (2010) - mogelijk incompleet |
| Subject: |
Computers Programmeren (computers) Formele talen tijdschriften informatietechnologie 54.10 theoretische informatica Technologie, nijverheid, ambachten |
| Publisher: |
[London] : Springer |
| Number: | 1 of 1 |