Proof technology and computation
Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and verifications tools. The origins of this technology lie in the systematic understanding of a fully-fledged, precise notion of proof by mathematics a...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | eBook Book |
| Language: | English |
| Published: |
Amsterdam ; Tokyo
IOS Press
2006
Sage Publications Ltd |
| Edition: | 1 |
| Subjects: | |
| ISBN: | 1586036254, 9781586036256 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!