Logic of programs : workshop, ETH Zürich, May-July 1979 /

Saved in:
Bibliographic Details
Main Author: Kozen, Dexter (Author)
Format: Book
Language:Czech
Published: Berlin : Springer, 1981
Series:rz1
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items