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

Formal object-oriented specification using Object-Z

種類:
図書
責任表示:
Roger Duke and Gordon Rose
出版情報:
Houndmills, Basingstoke, Hampshire : Macmillan Press
著者名:
シリーズ名:
Cornerstones of computing <BA47787846>
ISBN:
9780333801239 [0333801237]  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Modular specification and verification of object-oriented programs

Müller, Peter

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

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

Springer
2 図書 Algebraic specification techniques in object oriented programming environments

Breu, R. (Ruth), 1964-

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

Beidler, John, 1941-

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

Breu, Ruth, SpringerLink (Online service)

Springer-Verlag
9 図書 Formal specification : techniques and applications

Nissanke, Nimal

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

Breu, Ruth., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
10 図書 Object-oriented analysis

Coad, Peter, Yourdon, Edward, 1944-

Yourdon Press : Prentice Hall
5 図書 Formal specification and design

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

Cambridge University Press
11 図書 Object oriented selection

翔泳社
6 図書 Distributed virtual worlds : foundations and implementation techniques using VRML, Java, and CORBA

Diehl, Stephan

Springer
12 図書 Introduction to object-oriented databases

Kim, Won

MIT Press