ISBN: | 978-5-5139-1498-3 |
High Quality Content by WIKIPEDIA articles! In computer programming, an assertion is a predicate (for example a true–false statement) placed in a program to indicate that the developer thinks that the predicate is always true at that place.