Cover of Logics of Programs

An edition of Logics of Programs (1982)

Logics of Programs

Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science)

By D. Kozen

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

April 26, 1982

Publisher

Springer

Language

eng

Pages

489

Description:

subjects: Sémantique programme, Vérification programme, Congrès, Programmation (Informatique), Congresses, Logiciels, Logique temporelle, Computer programming, Logique programmation, Symbolic and mathematical Logic, Programmation logique