A. Finkel

Identifiers

Open LibraryOL2682090A

Top Subjects

Verification (1)
Computer software (1)
Computers - Languages / Programming (1)
Tools (1)
Computer Science (1)
Computer Engineering (1)
Computers (1)

Books by A. Finkel

Total count: 5

Stacs 92: 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992Proceedings (Lecture Notes in Computer Science)

Springer1992-05-01
Stacs 93: 10th Annual Symposium on Theoretical Aspects of Computer Science Wurzburg, Germany, February 25-27, 1993Proceedings (Lecture Notes in Computer Science)

Springer1993-03-01
Systems and Software VerificationModel-Checking Techniques and Tools1 edition

Springer2001-08-09
Social Policy and Practice in CanadaA History

Wilfrid Laurier University Press2006-01-01
Alberta Social Credit re-appraised