Correct-program technology/Extensibility of verifiers. Two papers on program verification. By Martin Davis and J.T. Schwartz
by Martin Davis, JT Schwartz
| Publisher: | Unknows |
| Published In: | 21-Aug-2011 |
| ISBN-10: | 1175746789 |
| ISBN-13: | 9781175746788 |
| Binding Type: | Paperback |
| Weight: | 346 gms |
| Pages: | pp. 152, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Correct-program technology/Extensibility of verifiers. Two papers on program verification. By Martin Davis and J.T. Schwartz" is written by Martin Davis, JT Schwartz. This book was published in the year 2120. The ISBN number 1175746789|9781175746788 is assigned to the Paperback version of this title. This book has total of pp. 152 (Pages). The publisher of this title is Unknows. Correct-program technology/Extensibility of verifiers. Two papers on program verification. By Martin Davis and J.T. Schwartz is currently Not Available with us.You can enquire about this book and we will let you know the availability.