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

>> Google Books

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin

版:

1st ed. 1993

資料種別:

電子ブック

形態:

IX, 438 p.

シリーズ名:

Lecture Notes in Computer Science ; 735

著者名:

ISBN:

9783540480563 [3540480560]
9783662169018 [3662169010]
9783540573166 [354057316X]

書誌ID:

EB00002903

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

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 Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to formal methods. The main scientific tracks of the conference were centered around formal methods of program development and program construction. The papers in the book are grouped into the following parts: - formal semantics methods - algebraic specification methods - semantic program analysis and abstract interpretation - semantics of parallelism - logic of programs - software specification and verification - transformational development and program synthesis.

主題:

Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Software Engineering; Symbolic and Algebraic Manipulation

目次情報:

ブックレビュー

類似資料:

1 電子ブック Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings Bjørner, Dines., Broy, Manfred., Pottosin, Igor V., SpringerLink (Online service)	7 電子ブック Rewriting Techniques and Applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings Kirchner, Claude., SpringerLink (Online service)
2 電子ブック Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 … Bjørner, Dines., Broy, Manfred., Zamulin, Alexandre V., SpringerLink (Online service)	8 電子ブック FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings Fitzgerald, John., Hayes, Ian J., SpringerLink (Online service)
3 電子ブック Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised … Bjørner, Dines., Broy, Manfred., Zamulin, Alexandre., SpringerLink (Online service)	9 電子ブック Rewriting Techniques and Applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings Hsiang, Jieh., SpringerLink (Online service)
4 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings (: gw ; : us) Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V. Springer-Verlag	10 電子ブック Rewriting Techniques and Applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings Tison, Sophie., SpringerLink (Online service)
5 電子ブック Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, … Broy, Manfred., Zamulin, Alexandre V., SpringerLink (Online service)	11 電子ブック Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings Comon, Hubert., SpringerLink (Online service)
6 電子ブック Rewriting Techniques and Applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings Bachmair, Leo., SpringerLink (Online service)	12 電子ブック Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings Oostrom, Vincent van., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12