5 public-domain matches

Abstract Interpretation

Cover of Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Benjamin Weiß

Cover of Programming Languages and Systems

Programming Languages and Systems

Unknown author

Cover of Personification and the use of abstract subjects in the Attic orators and Thukydides

Personification and the use of abstract subjects in the Attic orators and Thukydides

Robert Somerville Radford

Cover of Æsop's fables

Æsop's fables

Aesop

Civics: as Applied Sociology (1905)

Civics: as Applied Sociology (1905)

Patrick Geddes