Edinburgh LCF : A Mechanised Logic of Computation

>> Amazon.co.jp

このページのQRコード

Edinburgh LCF : A Mechanised Logic of Computation

種類:

電子ブック

責任表示:

by Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1979

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 78

ISBN:

9783540385264 [3540385266]

ローカル注記:

学内専用E-BOOKS (local access only)

オンライン

http://dx.doi.org/10.1007/3-540-09724-4

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer Science; Computer Science, general
分類・件名:	LCSH : Computer science FREE : Computer Science FREE : Computer Science, general
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00005686

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Edinburgh LCF : a mechanised logic of computation Gordon, Michael J. C., 1948-, Milner, Robin, 1934-, Wadsworth, Christopher P., 1946- Springer-Verlag	7 電子ブック Conpar 81 : Conference on Analysing Problem Classes and Programming for Parallel Computing Nürnberg, June 10–12, 1981 Proceedings Brauer, W., Hansen, P. Brinch, Gries, D., Moler, C., Seegmüller, G., Stoer, J., Wirth, N., Händler, Wolfgang, … Springer-Verlag
2 電子ブック Edinburgh LCF : A Mechanized Logic of Computation Gordon, M., Milner, R., Wadsworth, C.P., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 電子ブック Compiler Construction : An Advanced Course Bauer, F. L., Remer, F. L., Griffiths, M., Hill, U., Horning, J. J., Koster, C. H. A., McKeeman, W. M., Poole, P. C., … Springer Berlin Heidelberg : Imprint: Springer
3 電子ブック Computing in systems described by equations O'Donnell, Michael J., SpringerLink (Online service) Springer-Verlag	9 電子ブック Compiler Construction : An Advanced Course Brauer, F. L., Eickel, J., Remer, F. L., Griffiths, M., Hill, U., Horning, J. J., Koster, C. H. A., McKeeman, W. M., … Springer-Verlag
4 電子ブック Codes for Boundary-Value Problems in Ordinary Differential Equations : Proceedings of a Working Conference May 14–17, 1978 Childs, B., Scott, M., Daniel, J. W., Denman, E., Nelson, P., SpringerLink (Online service) Springer-Verlag	10 電子ブック Program Construction : International Summer School Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, … Springer-Verlag
5 電子ブック First-Order Dynamic Logic Harel, David, SpringerLink (Online service) Springer-Verlag	11 電子ブック Software Engineering : An Advanced Course Bauer, F. L., Dennis, J. B., Waite, W. M., Gotlieb, C. C., Graham, R. M., Griffiths, M., Helms, H. J., Morton, B., … Springer-Verlag
6 電子ブック Theoretical Computer Science : 3rd Gl Conference Darmstadt, March 28–30, 1977 Goos, G., Hartmanis, J., Brinch Hansen, P., Gries, D., Moler, C., Seegmüller, G., Stoer, J., Wirth, N., SpringerLink … Springer-Verlag	12 電子ブック Fundamentals of Computation Theory : Proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland September 19–23, 1977 Karpiński, Marek, SpringerLink (Online service) Springer-Verlag