Author

Publication

2003-05-07 - Springer

Language

English

Word Count

100,750 words, Guess

Page Count

403 pages

Physical Format

Paperback

Identifiers

First Sentence

The fundamental fact about verifying properties of software, by any means, is that almost anything worth knowing is undecidable in principle.

Subjects

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!