Formal description of programming concepts

>> Google Books

所蔵情報QRコード

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>

著者名:

ISBN:

9783540539612 [3540539611] (gw)
9780387539614 [0387539611] (us)

書誌ID:

BA13534136

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989
Includes bibliographical references

主題:

Electronic digital computers--Programming

言語:

英語

目次情報:

International Symposium Proceedings / P.D. Mosses

A Practical Introduction to Denotational Semantics / E. Astesiano

Inductive and Operational Semantics / D. Bjorner

Specification and Transformation

Methodology Aspects of the Vienna Development Method / M. Wirsing

Algebraic Specification

Semantics, Parameterization and Refinement / M. Broy

Formalization of Distributed, Concurrent, Reactive Systems / K.R. Apt ; E.-R. Olderog

Introduction to Program Verification / L. Cardelli

Typeful Programming

International Symposium Proceedings / P.D. Mosses

A Practical Introduction to Denotational Semantics / E. Astesiano

Inductive and Operational Semantics / D. Bjorner

Specification and Transformation

Methodology Aspects of the Vienna Development Method / M. Wirsing

Algebraic Specification

続きを見る

東工大ブックレビュー

類似資料:

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 (: gw ; : us) Bjørner, D. (Dines), 1937-, Broy, M., 1949-, Pottosin, I. V. Springer-Verlag
2 図書 Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, … CSCLP, Apt, Krzysztof R., 1949- Springer	8 図書 Foundations of deductive databases and logic programming Apt, Krzysztof R., 1949-, Minker, Jack M. Kaufmann Publishers
3 図書 Formal description of programming concepts--III : proceedings of the IFIP TC2/WG 2.2 Working Conference on Formal Description of Programming Concepts , Ebberup, … IFIP Working Conference on Formal Description of Programming Concepts, Wirsing, M. (Martin), IFIP Technical Committee … North-Holland Pub. Co.	9 図書 Formal techniques for data base design (: gw ; : us) Furtado, Antonio Luz, 1934-, Neuhold, Erich J., 1940- Springer-Verlag
4 図書 Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, … IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Broy, M., 1949-, Jones, Cliff B., … North-Holland, Elsevier Science Pub. Co., distributors for the U.S. and Canada	10 図書 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.
5 図書 Formal program development : IFIP TC 2/WG 2.1 state of the art report (: gw ; : us) Möller, Bernhard, 1953-, Partsch, Helmut A., 1950-, Schuman, Steve, 1950-, IFIP TC 2/WG 2.1 Springer-Verlag	11 図書 Real time programming 1981 : proceedings of the IFAC/IFIP Workshop Kyoto, Japan, 31 August - 2 September 1981 長谷川, 利治(1934-), International Federation of Automatic Control Published for the International Federation of Automatic Control by Pergamon Press
6 図書 Verification of sequential and concurrent programs Apt, Krzysztof R., 1949-, Olderog, E.-R. Springer	12 図書 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