Distributed systems : methods and tools for specification : an advanced course

>> Google Books

所蔵情報QRコード

Distributed systems : methods and tools for specification : an advanced course / M.W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert

資料種別:

図書

出版情報:

Berlin ; New York : Springer-Verlag, c1985

形態:

vi, 573 p. ; 25 cm

シリーズ名:

Lecture notes in computer science ; 190 <BA00009279>

著者名:

ISBN:

9783540152163 [3540152164] (: gw)
9780387152165 [0387152164] (: us)

書誌ID:

BA00535679

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:	Prepared for and presented during the Advanced course on distributed systems, methods and tools for specification, held April 3-12, 1984 and repeated April 16-25, 1985, organized by the Institut für Informatik, Technische Universität München Bibliography: p. [548]-564
主題:	データ処理
言語:	英語

東工大ブックレビュー

類似資料:

1 電子ブック 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., …	7 電子ブック Operating Systems : An Advanced Course Flynn, M.J., Gray, J.N., Jones, A.K., Lagally, K., Opderbeck, H., Popek, G.J., Randell, B., Saltzer, J.H., Wiehle, H.R., …
2 図書 Distributed systems-architecture and implementation : an advanced course (: gw ; : us) Davies, Donald Watts, Lampson, Butler W., Paul, Manfred, 1932-, Siegert, H. J., 1935-, Advanced Course on Distributed … Springer	8 図書 Operating systems : an advanced course (: Berlin ; : New York) Bayer, Rudolf, Graham, Robert M., Seegmüller, G., 1931-, Advanced Course on Operating Systems, Technische Universität … Springer-Verlag
3 図書 Distributed systems : architecture and implementation : an advanced course (: gw ; : us) Davies, Donald Watts, Lampson, Butler W., Paul, Manfred, 1932-, Siegert, H. J., 1935-, Advanced Course on Distributed … Springer-Verlag	9 電子ブック Compiler Construction : An Advanced Course Bauer, F.L., DeRemer, F.L., Griffiths, M., Hill, U., Hornig, J.J., Koster, C.H., McKeeman, W.M., Poole, P.C., Waite, …
4 電子ブック Distributed Systems - Architecture and Implementation : An Advanced Course Davies, D.W., Holler, E., Jensen, E.D., Kimbleton, S.R., Lampson, B.W., LeLann, G., Thurber, K.J., Watson, R.W., …	10 電子ブック Compiler Construction : An Advanced Course Bauer, F.L., DeRemer, F.L., Ershov, A.P., Gries, D., Griffiths, M., Hill, U., Horning, J.J., Koster, C.H.A., McKeeman, …
5 電子ブック Distributed Systems — Architecture and Implementation Davies, David William, Lampson, Butler W., Paul, Manfred, Siegert, H. J. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 図書 An algebraic introduction to mathematical logic (: us ; : gw) Barnes, D. W. (Donald W.), 1935-, Mack, J. M. Springer-Verlag
6 電子ブック Distributed Systems Alford SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 図書 Software engineering : an advanced course (: gw ; : us) Advanced Course on Software Engineering, Munich, 1972, Bauer, Friedrich Ludwig, 1924-, Munich. Technische Universität. … Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12