>> Amazon.co.jp
このページのQRコード

Algebraic specification techniques in object oriented programming environments

種類:
図書
責任表示:
R. Breu
出版情報:
Berlin ; New York : Springer-Verlag, c1991
著者名:
Breu, R. (Ruth), 1964- <DA05986944>  
シリーズ名:
Lecture notes in computer science ; 562 <BA00009279>
ISBN:
9783540549727 [3540549722] (: Berlin)  CiNii Books  Calil
9780387549729 [0387549722] (: New York)  CiNii Books  Calil
注記:
Bibliography: p. [219]-224
Includes index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Algebraic Specification Techniques in Object Oriented Programming Environments

Breu, Ruth, SpringerLink (Online service)

Springer-Verlag
7 図書 Concurrent object-oriented programming and Petri nets : advances in Petri nets

Agha, Gul A., De Cindio, Fiorella, Rozenberg, Grzegorz

Springer
2 電子ブック Algebraic Specification Techniques in Object Oriented Programming Environments

Breu, Ruth., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Testing object-oriented software : life cycle solutions

Bashir, Imran, Goel, Amrit L.

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

Müller, Peter

Springer
9 図書 Data structures and algorithms : an object-oriented approach using Ada 95

Beidler, John, 1941-

Springer
4 図書 Symbolic C[++] : an introduction to computer algebra using object-oriented programming

Shi, Tan Kiat, Steeb, W.-H., Hardy, Yorick

Springer
10 図書 A theory of objects

Abadi, Martín, Cardelli, Luca

Springer
5 図書 Computing in object-oriented parallel environments : Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998 : proceedings

ISCOPE (Conference), Caromel, Denis, Oldehoeft, Rodney R., Tholburn, Marydell

Springer
11 図書 Formal specification and design

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

Cambridge University Press
6 図書 Object-oriented programming : a unified foundation

Castagna, Giuseppe, 1966-

Birkhäuser
12 図書 Formal methods and object technology

Goldsack, Stephen J., 1926-, Kent, S. J. H. (Stuart John Harding), 1966-

Springer