>> Google Books
所蔵情報QRコード

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1993
形態:
xiv, 623 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 680 <BA00009279>
著者名:
ISBN:
9780387567334 [038756733X] (: us)
9783540567332 [354056733X] (: gw)
書誌ID:
BA20903946
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Program Development by Specification and Transformation : The PROSPECTRA Methodology, Language Family, and System

Hoffmann, Berthold., Krieg-Brückner, Bernd., SpringerLink (Online service)

Springer Berlin Heidelberg
7 図書 Specification of computer programs

Turski, Władysław, Maibaum, Thomas S. E., 1947-

Addison-Wesley
2 電子ブック Program Development by Specification and Transformation

Hoffmann, Hoffmann, Berthold, Krieg-Brückner, Bernd

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 図書 Larch : languages and tools for formal specification (: us ; : gw)

Guttag, John, Horning, J. J. (James J.)

Springer-Verlag
3 電子ブック Algebraic Foundations of Systems Specification

Astesiano, Egidio; Kreowski, Hans-Jörg; Krieg-Brückner, Bernd, Kreowski, Hans-Jörg, Krieg-Brückner, Bernd

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 Formal specification and design

Feijs, L. M. G. (Loe M. G.), Jonkers, H. B. M.

Cambridge University Press
4 図書 ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings (: gw ; : us)

European Symposium on Programming, Krieg-Brückner, B. (Bernd)

Springer-Verlag
10 図書 Modular specification and verification of object-oriented programs

Müller, Peter

Springer
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 図書 Creating effective software : computer program design using the Jackson methodology

King, David, 1940-

Yourdon Press
6 電子ブック ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings

Krieg-Brückner, Bernd., SpringerLink (Online service)

Springer Berlin Heidelberg
12 図書 Systematic software development using VDM

Jones, Cliff B., 1944-

Prentice Hall
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12