Studies in automatic programming logic

このページのQRコード

種類:

図書

責任表示:

Zohar Manna, Richard Waldinger, with contributions by Shmuel Katz and Karl Levitt

出版情報:

New York : North-Holland, c1977

著者名:

シリーズ名:

ISBN:

9780444002242 [0444002243]

9780444002259 [0444002251] (: pbk)

注記:

Bibliography: p. 181-185
Includes indexes

所蔵情報

子書誌情報

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

詳細

主題:	Automatic programming (Computer science); Computer programs
分類・件名:	LCC : QA76.6 DDC : 001.6/42 LCSH : Automatic programming (Computer science) LCSH : Computer programs
LCCN:	77005765
TTLL:	eng
言語:	英語
形態:	viii, 192 p. ; 24 cm
書誌ID:	BA07310983

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Theory of program structures : schemes, semantics, verification Greibach, Sheila, 1939- Springer-Verlag	7 図書 Automatic correction and improvement of programs Wertz, H. (Harald), 1947- Ellis Horwood, Halsted Press
2 図書 Genetic algorithms + data structures = evolution programs Michalewicz, Zbigniew, 1952- Springer-Verlag	8 図書 Peirce's logic of relations and other studies Martin, R. M. (Richard Milton), 1916- Foris Publications
3 図書 The temporal logic of reactive and concurrent systems Manna, Zohar, Pnueli, A. (Amir) Springer-Verlag	9 図書 Logic programming Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press
4 図書 Mathematical theory of computation Manna, Zohar McGraw-Hill Kogakusha	10 図書 Logic programming MIT Press
5 図書 Temporal verification of reactive systems : safety Manna, Zohar, Pnueli, A. (Amir) Springer-Verlag	11 図書 From logic to logic programming Doets, Kees MIT Press
6 図書 Annual review in automatic programming Pergamon Press	12 図書 Meta-logics and logic programming Apt, Krzysztof R., 1949-, Turini, Franco, 1949- MIT Press