Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Divisio...

全面介紹

書目詳細資料

企業作者:	International conference on formal methods in programming and their applications :Novosibirsk
其他作者:	Bjørner, Dines, 1937- (Directeur de la publication), Broy, Manfred, 1949- (Directeur de la publication), Pottosin, Igor½ Vasil½evich, 1933-2001 (Directeur de la publication)
格式:	Livre numérique
語言:	Anglais
出版:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
叢編:	Lecture notes in computer science 735
主題:	Génie logiciel Informatique Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Actes de congrès
在線閱讀:	Accès sur la plateforme de l'e diteur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
提示:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal methods in programming and their applications, international conference, Academgorodok, Russia, June/July 1993, proceedings, Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds, Berlin, Springer-Verlag, 1993, 1 vol. (IX-433 p.), Lecture notes in computer science, 3-540-57316-X • Formal Methods in Programming and Their Applications, Texte imprimé, 9783662169018