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

Modular specification and verification of object-oriented programs

種類:
図書
責任表示:
Peter Müller
出版情報:
Berlin : Springer, c2002
著者名:
Müller, Peter  
シリーズ名:
Lecture notes in computer science ; 2262 <BA00009279>
ISBN:
9783540431671 [3540431675]  CiNii Books  Calil
注記:
Includes bibliographies (p. [271]-283) and 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, R. (Ruth), 1964-

Springer-Verlag
7 図書 Modular programming languages : Joint Modular Languages Conference JMLC'97, Linz, Austria, March 19-21, 1997 : proceedings

Mössenböck, Hanspeter, Joint Modular Languages Conference

Springer-Verlag
2 図書 Formal specification and design

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

Cambridge University Press
8 図書 Testing object-oriented software : life cycle solutions

Bashir, Imran, Goel, Amrit L.

Springer
3 図書 Object-oriented programming : a unified foundation

Castagna, Giuseppe, 1966-

Birkhäuser
9 図書 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system

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

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

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

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

Beidler, John, 1941-

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

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

Springer
11 図書 Modeling reactive systems with statecharts : the statemate approach

Harel, David, 1950-, Politi, Michal

McGraw-Hill
6 図書 The IOTA programming system : a modular programming environment

中島, 玲二(1947-), 湯浅, 太一(1952-)

Springer-Verlag
12 図書 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