Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings

>> Google Books

所蔵情報QRコード

Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin,(eds.)

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, c1993

形態:

ix, 433 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 735 <BA00009279>

著者名:

ISBN:

9783540573166 [354057316X] (: gw)
9780387573168 [038757316X] (: us)

書誌ID:

BA21101622

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Electronic digital computers--Programming
言語:	英語

ブックレビュー

類似資料:

1 電子ブック Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings Bjørner, Dines., Broy, Manfred., Pottosin, Igor V., SpringerLink (Online service) Springer Berlin Heidelberg	7 電子ブック 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) Springer Berlin Heidelberg
2 図書 Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings International Andrei Ershov Memorial Conference, Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V. Springer-Verlag	8 電子ブック 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) Springer Berlin Heidelberg
3 電子ブック Formal Methods in Programming and Their Applications Bjørner, Bjørner, Dines, Broy, M., Pottosin, I. V. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 図書 Programming and mathematical method (: gw ; : us) Broy, M., 1949- Springer-Verlag
4 電子ブック 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) Springer Berlin Heidelberg	10 図書 Methods of programming : selected papers on the CIP-project (: gw ; : us) Broy, M., 1949-, Wirsing, M. (Martin) Springer-Verlag
5 図書 Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : … International Andrei Ershov Memorial Conference, Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Zamulin, Alexandre V. Springer	11 図書 Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, … IFIP Working Conference on Formal Description of Programming Concepts, Bjørner, D. (Dines), 1937-, IFIP Technical … North-Holland Pub. Co.
6 図書 Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised … International Andrei Ershov Memorial Conference, Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Zamulin, Alexandre V. Springer	12 図書 Mathematical methods in program development Broy, M., 1949-, Schieder, Birgit, NATO Advanced Study Institute on Mathematical Methods in Program Development Springer

1

2

3

4

5

6

7

8

9

10

11

12