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

Software specification techniques / [edited by] Narain Gehani, Andrew McGettrick

資料種別:
図書
出版情報:
Workingham, England ; Tokyo : Addison-Wesley, c1986
形態:
xii, 477 p. ; 25 cm
シリーズ名:
International computer science series <BA00203522>
著者名:
ISBN:
9780201142303 [0201142309]
書誌ID:
BA00203475
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Program verification using Ada (: pbk)

McGettrick, Andrew D., 1944-

Cambridge University Press
7 図書 Ada,C,Pascal : 言語の比較と評価

Feuer, Alan R., 1951-, Gehani, Narain, 1947-, 宇井, 康隆

工学社
2 図書 ALGOL 68 : a first and second course (hard ; pbk)

McGettrick, Andrew D., 1944-

Cambridge University Press
8 電子ブック Integration of Software Specification Techniques for Applications in Engineering

Hartmut Ehrig, Ehrig, Hartmut, Deutsche Forschungsgemeinschaft., Damm, Werner, Desel, Jörg, Große-Rhode, Martin, Reif, …

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 The definition of programming languages (: pbk)

McGettrick, Andrew D., 1944-

Cambridge University Press
9 電子ブック Foundations of Software Science and Computation Structures

FOSSACS 2003, Gordon, Andrew D.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 The Concurrent C programming language

Gehani, Narain, 1947-, Roome, William D.

Silicon Press, Prentice Hall
10 図書 Lattice-ordered groups : advances and techniques

Glass, A. M. W. (Andrew Martin William), 1944-, Holland, W. Charles

Kluwer Academic Publishers
5 図書 International computer science series

McGettrick, Andrew D., 1944-, Leeuwen, Jan van

Addison-Wesley Pub. Co.
11 図書 Algebraic specification techniques and tools for software development : the ACT approach

Claßen, Ingo, Ehrig, Hartmut, Wolz, Dietmar

World Scientific
6 図書 Comparing and assessing programming languages : Ada, C, and Pascal (pbk)

Feuer, Alan R., 1951-, Gehani, Narain, 1947-

Prentice-Hall
12 電子ブック Abstract Software Specifications : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Bjorner, D., SpringerLink (Online service)
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12