Articles liés à Formal Methods in Programming and Their Applications:...

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings - Couverture souple

Bjorner, Dines; Broy, Manfred & Pottosin, Igor

 
9780387573168: Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings
Couverture souple
ISBN 10 : 038757316X ISBN 13 : 9780387573168
Editeur : Springer-Verlag, 1993

Synopsis

Formal Methods in Programming and Their Applications This volume contains the papers selected for presentation at an international conference organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences. Topics discussed include semantics, software specification and program logic. Full description

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 
038757316X
ISBN 13 
9780387573168
Reliure
Broché
Nombre de pages
433
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