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

Object-oriented programming : a unified foundation

種類:
図書
責任表示:
Giuseppe Castagna
出版情報:
Boston : Birkhäuser, c1997
著者名:
Castagna, Giuseppe, 1966- <DA10429266>  
シリーズ名:
Progress in theoretical computer science <BA1282110X>
ISBN:
9780817639051 [0817639055]  CiNii Books  Calil
9783764339050 [3764339055]  CiNii Books  Calil
注記:
bibliography: p. [345]-357
所蔵情報
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 図書 Formal methods and object technology

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

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

Breu, R. (Ruth), 1964-

Springer-Verlag
8 図書 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
3 図書 Concurrent object-oriented programming and Petri nets : advances in Petri nets

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

Springer
9 図書 TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages

Jones, Neil D., 1941-, Muchnick, Steven S., 1945-

Springer-Verlag
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 図書 Testing object-oriented software : life cycle solutions

Bashir, Imran, Goel, Amrit L.

Springer
11 図書 Formal methods for distributed processing : a survey of ojbect-oriented approaches

Bowman, Howard, Derrick, John

Cambridge University Press
6 図書 Data structures and algorithms : an object-oriented approach using Ada 95

Beidler, John, 1941-

Springer
12 図書 Object-based parallel and distributed computation : France-Japan workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995 : selected papers

France-Japan Workshop on Object-Based Parallel and Distributed Computation, Briot, Jean-Pierre

Springer