Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report

>> Amazon.co.jp

このページのQRコード

Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report

種類:

電子ブック

責任表示:

edited by Bernhard Möller, Helmut Partsch, Steve Schuman

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1993

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 755

ISBN:

9783540481973 [3540481974]

ローカル注記:

学内専用E-BOOKS (local access only)

オンライン

http://dx.doi.org/10.1007/3-540-57499-9

所蔵情報

子書誌情報

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

詳細

主題:	Combinatorics; Computer Science; Logics and Meanings of Programs; Programming Techniques; Software Engineering; Symbolic and Algebraic Manipulation
分類・件名:	LCSH : Computer science LCSH : Software engineering LCSH : Logic design LCSH : Algebra -- Data processing LCSH : Combinatorics FREE : Computer Science FREE : Logics and Meanings of Programs FREE : Software Engineering FREE : Combinatorics FREE : Symbolic and Algebraic Manipulation FREE : Programming Techniques
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00006270

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report Möller, Bernhard., Partsch, Helmut., Schuman, Steve., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック The Munich Project CIP : Volume II: The Program Transformation System CIP-S Bauer, F. L., Ehler, H., Horsch, A., Möller, B., Partsch, H., Paukner, O., Pepper, P., SpringerLink (Online service) Springer-Verlag
2 図書 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	8 電子ブック Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings Bird, R. S., Morgan, C. C., Woodcock, J. C. P., SpringerLink (Online service) Springer-Verlag
3 電子ブック Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings Möller, Bernhard, SpringerLink (Online service) Springer-Verlag	9 電子ブック Mathematical Foundations of Software Development : Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) … Ehrig, Hartmut, Floyd, Christiane, Nivat, Maurice, Thatcher, James, SpringerLink (Online service) Springer-Verlag
4 電子ブック ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings Bowen, Jonathan P., Hinchey, Michael G., SpringerLink (Online service) Springer-Verlag	10 電子ブック Algebraic Methods II: Theory, Tools and Applications Bergstra, J. A., Feijs, L. M. G., SpringerLink (Online service) Springer-Verlag
5 電子ブック 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	11 電子ブック Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans, SpringerLink (Online service) Springer-Verlag
6 電子ブック FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, … Gaudel, Marie-Claude, Woodcock, James, SpringerLink (Online service) Springer-Verlag	12 電子ブック Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings Nori, Kesav V., Veni Madhavan, C. E., SpringerLink (Online service) Springer-Verlag