>> Google Books
所蔵情報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
形態:
371 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 755 <BA00009279>
著者名:
ISBN:
9783540574996 [3540574999] (: gw)
9780387574998 [0387574999] (: us)
書誌ID:
BA2150366X
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Formal Program Development

Möller

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 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
2 図書 Larch : languages and tools for formal specification (: us ; : gw)

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

Springer-Verlag
8 図書 Programming concepts, methods and calculi : proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi …

IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods, and Calculi, Olderog, E.-R., …

Elsevier
3 図書 Specification of computer programs

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

Addison-Wesley
9 図書 Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

International Conference on the Mathematics of Program Construction, Möller, Bernhard, 1953-

Springer
4 図書 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system (: us ; : gw)

Hoffmann, Berthold, 1953-, Krieg-Brückner, B. (Bernd)

Springer-Verlag
10 図書 IFIP state-of-the-art reports

Springer-Verlag
5 図書 Generic programming : IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany

IFIP TC2/WG2.1 Working Conference on Generic Programming, Gibbons, Jeremy, Jeuring, Johan, 1965-

Kluwer Academic
11 図書 Formal development of reactive systems : case study production cell

Lewerentz, Claus, Lindner, Thomas, 1966-

Springer-Verlag
6 図書 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
12 図書 Modula-2 : a software development approach

Ford, Gary A., Wiener, Richard, 1941-

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