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

Formal specification and design

種類:
図書
責任表示:
L. M. G. Feijs & H. B. M. Jonkers
出版情報:
Cambridge ; New York : Cambridge University Press, 1992
著者名:
シリーズ名:
Cambridge tracts in theoretical computer science ; 35 <BA01121831>
ISBN:
9780521434577 [0521434572]  CiNii Books  Calil
注記:
Includes bibliographical references (p. 303-307) and index
所蔵情報
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 図書 Algebraic specification techniques in object oriented programming environments

Breu, R. (Ruth), 1964-

Springer-Verlag
2 図書 Modeling reactive systems with statecharts : the statemate approach

Harel, David, 1950-, Politi, Michal

McGraw-Hill
8 図書 Formal program development : IFIP TC 2/WG 2.1 state of the art report

Möller, Bernhard, 1953-, Partsch, Helmut A., 1950-, Schuman, Steve, 1950-, IFIP TC 2/WG 2.1

Springer-Verlag
3 図書 Program development by specification and transformation : the PROSPECTRA methodology, language family, and system

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

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

Bowman, Howard, Derrick, John

Cambridge University Press
4 図書 Formal methods and object technology

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

Springer
10 電子ブック Distributed Systems : Methods and Tools for Specification An Advanced Course

Paul, M., Siegert, H. J., Alford, M. W., Ansart, J. P., Hommel, G., Lamport, L., Liskov, B., Mullery, G. P., Schneider, &hellip;

Springer-Verlag
5 図書 Formal methods fact file : VDM and Z

Harry, Andrew

Wiley
11 図書 KORSO : methods, languages, and tools for the construction of correct software : final report

Broy, M., 1949-, Jähnichen, Stefan

Springer
6 図書 The design of an extendible graph editor

Paulisch, Frances Newbery

Springer-Verlag
12 電子ブック Distributed Systems : Methods and Tools for Specification. An Advanced Course

Alford, M.W., Ansart, J.P., Hommel, G., Lamport, L., Liskov, B., Mullery, G.P., Schneider, F.B., Paul, Manfred., &hellip;

Springer Berlin Heidelberg : Imprint: Springer