|
Journal description Formal methods in system design
Journal description an international journal
Journal description an international journal
an international journal
| Title: |
Formal methods in system design an international journal |
| Annotation: |
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 |
| Subject: |
Formele talen 54.10 theoretische informatica |
| Publisher: |
Dordrecht [etc.] : Kluwer Academic Publishers |
| Number: | 1 of 1 |