Formal methods in system design Unica

p-issn : 0925-9856 p-ppn : 040037894 1992 - Vivant Imprimé
e-issn : 1572-8102 e-ppn : 111373271 1992 - Vivant Électronique

Abrégé : Form. methods syst. des.
Langue : Anglais
UnitedStates
Périodicité : Trimestriel
Éditeurs commerciaux :

London ; Dordrecht ; Boston : Kluwer Academic Publishers

Dernière mise à jour : 04 Mar 2024

Existant

1992 - Vivant Springer
1992 - 2013 ISTEX Springer

Accès

Open access:

Abonnements