Архив
Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы
Международная конференция по надежности математического обеспечения
Статьи, заявленные на конференцию
Статья, 01.09.1974(?)
"Maintenance of the Computer Sciences Teleprocessing System".
Статья, 01.09.1974(?)
"Validation of an Interchangeable Computer Program Package: a Case History".
Статья, 01.09.1974(?)
"Reliability Experience with Chi/OS".
Статья, 01.09.1974(?)
"Iterative Enhancement: A Practical Approach to Top-down Software Development".
Статья, 01.09.1974(?)
"Success is not Beyond our Control".
Статья, 01.06.1974(?)
"Joint Program/Proof Refinement of Some Marking Algorithms: a Study of Proof and Structuring Styles".
Статья, 01.09.1974(?)
"The Relationship between Structured Programs and Structured Recursive Programs".
Cтатья, 01.09.1974(?)
"FORTRAN source and load libraries under IBM 360/70 OS".
Статья, 01.09.1974(?)
"Human Factors Approaches to Language Design".

По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016