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

>> Amazon.co.jp

このページの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

著者名:

シリーズ名:

Lecture notes in computer science ; 735 <BA00009279>

ISBN:

9783540573166 [354057316X] (: gw)

9780387573168 [038757316X] (: us)

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Electronic digital computers--Programming
分類・件名:	LCC : QA76.6 DDC : 005.1 LCSH : Electronic digital computers -- Programming
LCCN:	93021317
TTLL:	eng
言語:	英語
形態:	ix, 433 p. : ill. ; 25 cm
書誌ID:	BA21101622

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

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-Verlag	7 図書 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
2 電子ブック 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 : Imprint: Springer	8 図書 Programming and mathematical method Broy, M., 1949- Springer-Verlag
3 図書 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	9 図書 Methods of programming : selected papers on the CIP-project Broy, M., 1949-, Wirsing, M. (Martin) 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-Verlag	10 図書 Mathematical methods in program development NATO Advanced Study Institute on Mathematical Methods in Program Development, Broy, M., 1949-, Schieder, Birgit Springer
5 電子ブック 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 : Imprint: Springer	11 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen Springer-Verlag
6 図書 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	12 図書 Proceedings of the Fifth International Conference on Numerical Methods in Fluid Dynamics, June 28-July 2, 1976, Twente University, Enschede International Conference on Numerical Methods in Fluid Dynamics, Vooren, Adriaan Isak van de, Zandbergen, P. J. Springer-Verlag