Fme '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings - Couverture souple

International Symposium Of Formal Methods Europe 1993 Odense, Denmark; Woodcock, J. C. P.

 
9780387566627: Fme '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings
Couverture souple
ISBN 10 : 0387566627 ISBN 13 : 9780387566627
Editeur : Springer Verlag, 1993

Synopsis

Book by International Symposium of Formal Methods Europe 1

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Verlag
Date d'édition
1993
Langue
anglais
ISBN 10 
0387566627
ISBN 13 
9780387566627
Reliure
Broché
Nombre de pages
689
Éditeur
Larsen P. G.
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540566625: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings

Edition présentée

ISBN 10 :  3540566627 ISBN 13 :  9783540566625
Editeur : Springer, 2008
Couverture souple