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

フォーマット:

図書

責任表示:

Dines Bjørner, Manfred Broy, Igor V. Pottosin,(eds.)

言語:

英語

出版情報:

Berlin ; New York : Springer-Verlag, c1993

形態:

ix, 433 p. : ill. ; 25 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 735 <BA00009279>

書誌ID:

BA21101622

ISBN:

9783540573166 [354057316X] (: gw)

9780387573168 [038757316X] (: us)

子書誌情報

所蔵情報

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

詳細

主題:	Electronic digital computers--Programming
分類・件名:	LCC : QA76.6 DDC : 005.1 LCSH : Electronic digital computers -- Programming
LCCN:	93021317
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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.	7 図書 GECCO-2000 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the ninth International Conference on Genetic Algorithms … Genetic and Evolutionary Computation Conference, International Conference on Genetic Algorithms, Genetic Programming … M. Kaufmann
2 図書 VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings VDM-Europe Symposium, Bjørner, D. (Dines), 1937- Springer-Verlag	8 図書 GECCO-99 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the Eighth International Conference on Genetic Algorithms … Genetic and Evolutionary Computation Conference, International Conference on Genetic Algorithms, Genetic Programming … M. Kaufmann
3 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934- Springer-Verlag	9 図書 GECCO-2002 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the Seventh Annual Genetic Programming Conference (GP-2002) … Genetic and Evolutionary Computation Conference, Genetic Programming Conference, International Conference on Genetic … M. Kaufmann
4 図書 Towards a formal description of Ada Oest, O. N., Bjørner, D. (Dines), 1937- Springer-Verlag	10 図書 The Vienna development method : the meta-language Bjørner, D. (Dines), 1937-, Jones, Cliff B., 1944- Springer-Verlag
5 図書 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	11 図書 Abstract software specifications : 1979 Copenhagen Winter School, January 22-February 2, 1979 : proceedings Copenhagen Winter School on Abstract Software Specifications, Commission of the European Communities, Bjørner, D. … Springer-Verlag
6 図書 GECCO-2001 : proceedings of the Genetic and Evolutionary Computation Conference : a joint meeting of the Sixth Annual Genetic Programming Conference (GP-2001) … Genetic and Evolutionary Computation Conference, Genetic Programming Conference, International Conference on Genetic … M. Kaufmann	12 図書 Baltic computer science : selected papers Barzdinʹ, I︠A︡. M. (I︠A︡n Martynovich), Bjørner, D. (Dines), 1937- Springer-Verlag