Formal methods in system design

Notice

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
Périodicité : Trimestriel
Éditeur commercial : London ; Dordrecht ; Boston : Kluwer Academic Publishers - UnitedStates
Dernière mise à jour : 03 Avr 2019

Périodes d'accès électroniques

1992 - Vivant Springer

États de collections dans les bibliothèques

Historique