Logics of programs

Editor

Edited by Edmund Clarke ¶ Dexter Kozen

Publication

Springer

Publication Year

1984

Collation

527 p.: ill

Series

Lecture notes incomputer science; v. 164

Notes

Proceedings of workshop. 4th, pittsburgh p A, 1983

Bibliography

Includes bibliographies

Subject

ADDED ENTRIES

Clarke, Edmund, ed , ^dSeries:Lecture notes in computer Science; v. 164

Main Class

519

Sub Class

.7

Cutter no

L832

وارد كنندة اطلاعات

soltani^d// , khodaei^d2003/10/13 15:56:26

Link To Document :