БИБЛИОТЕКА
LIBRARY
Ресурсы [ Internet ] Resources
Статьи - Papers
Software-Testing.Ru :: Сервер тестировщиков и QA
Methods & Tools practical knowledge for software development professionals
QA Forums Update May 2005
Software Testing Tools - Google directory
Computer Science journals
The World Wide Web Virtual Library: Formal Methods
Abstract State Machines academic papers
Model checking publications
Electronic Notes in Theoretical Computer Science
+ Учебные материалы + Tutorials +
@ Книги @ Books @
Лекции по математической логике и теории алгоритмов
Н.К. Верещагин, А.Шень
Теория формальных языков
А.Е.Пентус, М.Р.Пентус
Примеры использования AsmL...
by R.Yavorskiy
Abstraction and Modelling
Vol. 1 of
Principles & Techniques of Software Engineering
by Dines Bjorner
Isabelle/HOL. A Proof Assistant for Higher-Order Logic
by Tobias Nipkow, Lawrence C. Paulson, and Markus Wenzel
Beginning Perl
by Simon Cozens
Uzing Z
by Jim Davies and Jim Woodcock
:: Авторские странички :: People ::
Препринты # Technical reports
Sergei Artemov
publications
Thomas Ball
, abstracts
Luca Cardelli
Recent Papers
Yuri Gurevich
annotated articles
David Harel
List of publications
K. Rustan M. Leino
-- papers
Sriram K. Rajamani's
conference publications
Wolfram Shulte
papers
Moshe Y. Vardi
-- Publications
AT&T Labs Research
Hewlett-Packard Labs
Laboratory for Computer Science, MIT
Microsoft Research
School of Computer Science, Carnegie Mellon University
Sun Microsystems Research
W3C Technical Reports and Publications
Последние обновления 13.05.2005 Last updated
Maintained by
R.E.Y.