|
Tijdschrift beschrijving Formal aspects of computing
Tijdschrift beschrijving applicable formal methods
Tijdschrift beschrijving applicable formal methods
applicable formal methods
| Titel: |
Formal aspects of computing applicable formal methods |
| Annotatie: |
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 |
| Onderwerp: |
Computers Programmeren (computers) Formele talen tijdschriften informatietechnologie 54.10 theoretische informatica Technologie, nijverheid, ambachten |
| Uitgever: |
[London] : Springer |
| Volgnummer: | 1 van 1 |