Formal description of programming concepts

>> Google Books

Formal description of programming concepts

フォーマット:

図書

責任表示:

Erich J. Neuhold, Manfred Paul (eds.) ; with contributions by K.R. Apt ... [et al.]

言語:

英語

出版情報:

Berlin ; New York : Springer-Verlag, c1991

形態:

vi, 507 p. ; 24 cm

著者名:

シリーズ名:

IFIP state-of-the-art reports <BA05062450>

書誌ID:

BA13534136

ISBN:

9783540539612 [3540539611] (gw)

9780387539614 [0387539611] (us)

子書誌情報

所蔵情報

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

詳細

主題:	Electronic digital computers--Programming
分類・件名:	LCC : QA76.6 DDC : 005.1 LCSH : Electronic digital computers -- Programming
LCCN:	91023345
注記:	Based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989 Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., … IFIP Working Conference on Formal Description of Programming Concepts, Neuhold, Erich J., 1940- North-Holland Pub. Co.	7 図書 Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V. Springer-Verlag
2 図書 The Logic programming paradigm : a 25-year perspective Apt, Krzysztof R., 1949- Springer	8 図書 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.
3 図書 FORMAL DESCRIPTION OF PROGRAAMMING CONCEPTS-3: PROCEEDINGS OF THE IFIP TC2/WG2.2 WORKING CONFERENCE ON FORMAL DISCRIPTION OF .. WIRSING, M, IFIP WORKING CONFERENCE ON FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS. 1986, EBBERUP, DENMARK NORTH-HOLLAND	9 図書 Formal language description languages for computer programming : proceedings of the IFIP Working Conference on Formal Language Description Languages IFIP Working Conference on Formal Language Description Languages, Steel, Thomas B., 1929-, IFIP Technical Committee … North-Holland
4 図書 Meta-logics and logic programming Apt, Krzysztof R., 1949-, Turini, Franco, 1949- MIT Press	10 図書 Logic programming : Proceedings of the Joint International Conference and Symposium on Logic Programming Apt, Krzysztof MIT Press
5 図書 Verification of sequential and concurrent programs Apt, Krzysztof R., 1949-, Olderog, E.-R. Springer	11 図書 Programs and machines : an introduction to the theory of computation Bird, R. J. (Richard J.) Wiley
6 図書 Formal program development : IFIP TC 2/WG 2.1 state of the art report Möller, Bernhard, 1953-, Partsch, Helmut A., 1950-, Schuman, Steve, 1950-, IFIP TC 2/WG 2.1 Springer-Verlag	12 図書 Logic programming : proceedings of the joint International Conference and Symposium on Logic Programming International Conference on Logic Programming, Apt, Krzysztof R., 1949-, Association for Logic Programming MIT Press