Издательство: | Книга по требованию |
Дата выхода: | июль 2011 |
ISBN: | 978-6-1332-0280-1 |
Объём: | 224 страниц |
Масса: | 362 г |
Размеры(В x Ш x Т), см: | 23 x 16 x 2 |
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. High Quality Content by WIKIPEDIA articles! Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like contracts, including object invariants, preconditions and postconditions. Like ESC/Java, it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants. It also includes a variety of other minor extensions to the language, such as non-null reference types.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.