Вы здесь

Haxthausen A. E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ "UML-ising" Formal Techniques 2004 Bjorner D., George Ch. W., Haxthausen A. E., Madsen Ch. K., Holmslykke S., Penicka M. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.11.2004
СТ Linking DC Together with TRSL 2000 Haxthausen A. E., Yong X. Lecture Notes in Computer Science 30.11.2000
СТ Formal, Model-Oriented Software Development Methods. From VDM to ProCoS & from RAISE to LaCoS 1990 Bjorner D., Haxthausen A. E., Havelund K. 29.09.1999
СТ Order-sorted Algebraic Specifications with Higher-order Functions 1995 Haxthausen A. E. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995