Automatic Termination Analysis for Functional and Imperative Programs
by Jürgen. Brauburger
| Publisher: | Infix |
| Published In: | 1999 |
| ISBN-10: | 389601207X |
| ISBN-13: | 9783896012074 |
| Weight: | 200 gms |
| Pages: | pp. 244 |
The Title "Automatic Termination Analysis for Functional and Imperative Programs" is written by Jürgen. Brauburger. This book was published in the year 1999. This book has total of pp. 244 (Pages). The publisher of this title is Infix. Automatic Termination Analysis for Functional and Imperative Programs is currently Not Available with us.You can enquire about this book and we will let you know the availability.