Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

>> Amazon.co.jp

このページのQRコード

Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

種類:

図書

責任表示:

edited by Edmund Clarke and Dexter Kozen

出版情報:

Berlin ; Tokyo : Springer-Verlag, 1984

著者名:

シリーズ名:

Lecture notes in computer science ; 164 <BA00009279>

ISBN:

9783540128960 [3540128964] (: gw)

9780387128962 [0387128964] (: us)

注記:

Includes bibliographies

所蔵情報

子書誌情報

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

詳細

主題:	Electronic digital computers--Programming--Congresses
分類・件名:	NDC7 : 549.92 LCSH : Electronic digital computers -- Programming -- Congresses
LCCN:	84003123
TTLL:	eng
言語:	英語
形態:	vi, 527 p. : ill. ; 25 cm
書誌ID:	BA03706246

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Logics of Programs : Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983 Clarke, Edmund, Kozen, Dexter, SpringerLink (Online service) Springer-Verlag	7 図書 Proceedings : 6th Symposium on Computer Arithmetic, June 20-22, 1983, Aarhus University, Aarhus, Denmark Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on Computer Architecture IEEE Computer Society Press
2 電子ブック Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 Clarke, E., Kozen, D., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	8 図書 Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : … Conference on Mathematics of Program Construction, Snepscheut, Jan L. A. van de, 1953- Springer-Verlag
3 図書 Logics of programs : workshop, Yorktown Heights, New York, May 1981 Logics of Programs Workshop, Kozen, Dexter, 1951- Springer-Verlag	9 電子ブック Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 Kozen, Dexter, SpringerLink (Online service) Springer-Verlag
4 図書 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings International Symposium, PLILP, Kuchen, Herbert R., 1958-, Swierstra, S. Doaitse Springer	10 図書 Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 Symposium on Logics of Programs and Their Applications, Salwicki, Andrzej Springer-Verlag
5 図書 International symposium on programming : 5th colloquium, Turin, April 6-8, 1982, proceedings International symposium on programming, Dezani-Ciancaglini, Mariangiola, Montanari, U. (Ugo) Springer-Verlag	11 図書 Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings European Symposium on Programming, Nielson, Hanne Riis, 1954- Springer-Verlag
6 図書 Proceedings : 7th Symposium on Computer Arithmetic, June 4-6, 1985, University of Illinois, Urbana, Illinois Symposium on Computer Arithmetic, IEEE Computer Society. Technical Committee on Computer Architecture IEEE Computer Society Press	12 図書 Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming … International Symposium, PLILP, Glaser, Hugh, Hartel, Pieter H., Kuchen, Herbert R., 1958- Springer