BizTalk 2006 Recipes: A Problem-Solution Approach
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
| Country | USA |
| Brand | Springer |
| Manufacturer | Springer |
| Binding | Hardcover |
| ItemPartNumber | 12634777 |
| UnitCount | 1 |
| EANs | 9783540208549 |
| ReleaseDate | 0000-00-00 |
