Network Working Group J. Foster, Editor Request for Comments: 1689 University of Newcastle upon Tyne RARE Technical Report: 13 August 1994 FYI: 25 Category: Informational A Status Report on Networked Information Retrieval: Tools and Groups Produced as a collaborative effort by the Joint IETF/RARE/CNI Networked Information Retrieval - Working Group (NIR-WG) Status of this Memo This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind. Distribution
... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...
... Он знакомит слушателей с построением моделей, с методами решения соответствующих математических задач, со свойствами их решений и выяснением их физического смысла. ... Уравнения колебаний и теплопроводности в случае нескольких пространственных переменных . ... Уравнение колебаний. ... Смешанная задача для уравнения теплопроводности на отрезке, ее решение методом разделения переменных. ... Смешанные задачи для уравнения колебаний и теплопроводности в случае нескольких пространственных переменных. ...
... Nikitin S.A., Tereshina I.S., Verbetsky V.N., Salamova A.A. Transformations of magnetic phase diagram as a result of insertion of hydrogen and nitrogen atoms in crystalline lattice of RFe11Ti compound. ... Structure magnetic properties and Mossbauer spectra of hydrides RFe11TiH. 8th European Conference on Solid State Chemistry, July 2001, Oslo, Norway, Abstract book, p.O-14 (2001). ... Proc. Book of 8 European Magnetic Materials and Applications Conference. ... Conf. on Soft Magnetic Materials. ...
Network Working Group R. Fielding Request for Comments: 2068 UC Irvine Category: Standards Track J. Gettys J. Mogul DEC H. Frystyk T. Berners-Lee MIT/LCS January 1997 Hypertext Transfer Protocol -- HTTP/1.1 Status of this Memo This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements. Please refer to the current edition of the "Internet Official Protocol Standards" (STD 1) for the standardization state and status of this