|
Tijdschrift beschrijving Formal methods in system design
Tijdschrift beschrijving an international journal
Tijdschrift beschrijving an international journal
an international journal
| Titel: |
Formal methods in system design an international journal |
| Annotatie: |
Verschijnt 6x per jaar Uitg. later: Springer Science Exemplaar met signatuur: e-Depot Springer. - AANWEZIG: Jrg. 10 (1997)–jrg. 38 (2010); Jrg. 37 (2011)– - mogelijk incompleet |
| Onderwerp: |
Formele talen 54.10 theoretische informatica |
| Uitgever: |
Dordrecht [etc.] : Kluwer Academic Publishers |
| Volgnummer: | 1 van 1 |