Formal methods in system design Unica

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
UnitedStates
Périodicité : Trimestriel
Éditeurs commerciaux :

London ; Dordrecht ; Boston : Kluwer Academic Publishers

Dernière mise à jour : 04 Mar 2024

Périodes d'accès électroniques

Existant
1992 - 2013 ISTEX Springer
1992 - Vivant Springer


États de collections dans les bibliothèques

Bibliothèques Collections Lacunes État
Paris - MIR Jussieu
Non positionné 		Vol. 18 n° 1 (2001) ->

Mise à jour : 07/09/2018

Historique