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

Algebraic system specification and development : a survey and annotated bibliography

種類:
図書
責任表示:
M. Bidoit ... [et al.], (eds.)
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1991
著者名:
Bidoit, M. (Michel), 1957- <DA05578201>  
シリーズ名:
Lecture notes in computer science ; 501 <BA00009279>
ISBN:
9783540540601 [3540540601] (: Berlin)  CiNii Books  Calil
9780387540603 [0387540601] (: New York)  CiNii Books  Calil
注記:
Bibliography: p. [59]-98
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Algebraic system specification and development : A survey and annotated bibliography

Bidoit, Michel, Kreowski, Hans-Jörg, Lescanne, Pierre, Orejas, Fernando, Sannella, Donald, SpringerLink (Online service)

Springer-Verlag
7 図書 Microcomputer system design : an advanced course, Trinity College, Dublin, June 1981

Flynn, M. J. (Michael J.), 1934-, Harris, N. R. (Neville R.), 1938-, McCarthy, D. P. (Daniel P.), 1945-

Springer-Verlag
2 電子ブック Algebraic System Specification and Development : A Survey and Annotated Bibliography

Bidoit, Michel., Kreowski, Hans-Jörg., Lescanne, Pierre., Orejas, Fernando., Sannella, Donald., SpringerLink (Online &hellip;

Springer Berlin Heidelberg : Imprint: Springer
8 図書 Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings

Banieqbal, Behnam, Barringer, Howard, 1951-, Pnueli, A. (Amir), Colloquium on Temporal Logic in Specification

Springer-Verlag
3 図書 Algebraic foundations of systems specification

Astesiano, E. (Egidio), 1939-, Kreowski, H.-J. (Hans-Jörg), Krieg-Brückner, B. (Bernd)

Springer
9 図書 Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August …

Workshop on Specification of Abstract Data Types, Bidoit, M. (Michel), 1957-, Choppy, C. (Christine), COMPASS Workshop

Springer-Verlag
4 電子ブック System analysis, design, and development : concepts, principles, and practices

Wasson, Charles S.
10 図書 The design of operating systems for small computer systems

Kaisler, Stephen H. (Stephen Hendrick)

Wiley
5 図書 System-level synthesis

Jerraya, Ahmed A. (Ahmed Amine), Mermet, Jean-Michel

Kluwer Academic Publishers
11 図書 Handbook on architectures of information systems

Bernus, Péter, Mertins, K. (Kai), 1947-, Schmidt, Günter, 1951-

Springer
6 図書 Advances in the design of symbolic computation systems

Miola, A. (Alfonso), 1944-, Temperini, M. (Marco)

Springer
12 図書 Systems design in a database environment

Brathwaite, Ken S.

Intertext/McGraw-Hill