Join Books.org — it's free
Home > Books > Evolution of Programmes (Progress in Computer Science)

Evolution of Programmes (Progress in Computer Science) by Nachum Dershowitz — book cover

Evolution of Programmes (Progress in Computer Science)

by Nachum Dershowitz
Write a review
Log in to track your reading progress.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published
February 1, 1984
Publisher
Birkhauser Verlag AG
ISBN
9783764331566

More by Nachum Dershowitz

Conditional and Typed Rewriting Systems
Conditional and Typed Rewriting Systems
Verification: Theory and Practice
Verification: Theory and Practice
Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science)
Rewriting Techniques and Applications: 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings (Lecture Notes in Computer Science)