Аннотация к книге "Common Algebraic Specification Language"
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework Initiative, with the aim to subsume many existing specification languages. The four levels are orthogonal to each other. In...
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported. CASL has been designed by CoFI, the Common Framework Initiative, with the aim to subsume many existing specification languages. The four levels are orthogonal to each other. In particular, it is possible to use CASL structured and architectural specifications and libraries with logics other than CASL. For this purpose, the logic has to be formalized as an institution. This feature is also used by the CASL extensions.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
"Главный герой" этой книги — естественный отбор. Способен ли он еще удивлять биологов? Какие эволюционные процессы идут в современных человеческих популяциях? Угроза интеллектуальной деградации человечества — это страшилка или научный факт? Об интереснейших открытиях в эволюционной биологии продолжают рассказывать известные ученые и популяризаторы науки Александр Марков и Елена Наймарк (их...
Трейдинг — самый трудный способ заработать легкие деньги. О чем книга «Трейдинг: Первые шаги» О трейдинге — одном из самых увлекательных видов деятельности. Став успешным трейдером, вы можете жить и работать в любом уголке земного шара, быть независимым от рутины и ни перед кем не отчитываться. Но глядя на внешнюю привлекательность, мало кто из новичков осознает, какой работы и дисциплины...
Издательство:
Альпина Паблишер
Дата выхода: февраль 2018
Первый том четырехтомного издательского проекта музея "Московский Дом фотографии" "Россия. ХХ век в фотографиях" представляет хронику жизни Российской Империи с 1900 до 1917 года. Здесь Первая Мировая Война и стачки 1905 года, арест царской семьи и первые "Русские сезоны" в Париже, артисты Московского Художественного театра и поэты Серебряного века, отлучение Льва Толстого от церкви и трехсотлетие дома...
Оставить комментарий