Formal program development : IFIP TC 2/WG 2.1 state of the art report

>> Amazon.co.jp

このページのQRコード

Formal program development : IFIP TC 2/WG 2.1 state of the art report

種類:

図書

責任表示:

Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1993

著者名:

シリーズ名:

Lecture notes in computer science ; 755 <BA00009279>

ISBN:

9783540574996 [3540574999] (: gw)

9780387574998 [0387574999] (: us)

注記:

Includes bibliographical references

所蔵情報

子書誌情報

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

詳細

主題:	Computer software--Development; Electronic digital computers--Programming
分類・件名:	LCC : QA76.76.D47 DDC : 005.1 LCSH : Computer software -- Development LCSH : Electronic digital computers -- Programming
LCCN:	93041255
TTLL:	eng
言語:	英語
形態:	371 p. : ill. ; 24 cm
書誌ID:	BA2150366X

内容紹介

目次情報

類似資料:

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-Verlag	7 図書 Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 / WG6.1 21st International Conference on Formal Techniques for Networked and … IFIP TC6 / WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Kim, Myungchul, … Kluwer Academic Publishers
2 電子ブック 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	8 図書 Mathematical methods in program development NATO Advanced Study Institute on Mathematical Methods in Program Development, Broy, M., 1949-, Schieder, Birgit Springer
3 図書 The programming and proof systems ATES : advanced techniques integration into efficient scientific software Puccetti, A. (Armand), 1961- Springer-Verlag	9 図書 First-order programming theories Gergely, T. (Tamás), Úry, László, 1953- Springer-Verlag
4 図書 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system Hoffmann, Berthold, 1953-, Krieg-Brückner, B. (Bernd) Springer-Verlag	10 図書 Formal specification and design Feijs, L. M. G. (Loe M. G.), Jonkers, H. B. M. Cambridge University Press
5 図書 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	11 図書 Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed … International Conference on Formal Methods for Open Object-Based Distributed Systems (3rd : 1999 : Florence, Italy), … Kluwer Academic
6 図書 IFIP state-of-the-art reports Springer-Verlag	12 図書 Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed … International Conference on Formal Methods for Open Object-Based Distributed Systems, Smith, Scott F., Talcott, Carolyn … Kluwer Academic Publishers