Вы здесь
Borger E.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | The Mathematics of Set Predicates in Prolog | 1993 | Borger E., Rosenzweig D. | Lecture Notes in Computer Science | 21.09.1993 | |||
СТ | Why Use Evolving Algebras for Hardware and Software Engineering | 1995 | Borger E. | Lecture Notes in Computer Science | 19.01.1996 | |||
М | The Classical Decision Problem | 1997 | Borger E., Gradel E., Gurevich Y. | 11.07.2001 | ||||
СТ | Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation | 1998 | Borger E., Schulte W. | Lecture Notes in Computer Science | 02.09.1998 | |||
СТ | A Programmer Friendly Modular Definition of the Semantics of Java | 1999 | Borger E., Schulte W. | Lecture Notes in Computer Science | 03.07.1999 | |||
СТ | Modeling the Dynamics of UML State Machines | 2000 | Borger E., Cavarra A., Riccobene E. | Lecture Notes in Computer Science | 27.10.2000 | |||
СТ | An ASM Semantics for UML Activity Diagrams | 2000 | Borger E., Cavarra A., Riccobene E. | Lecture Notes in Computer Science | 17.06.2000 | |||
СТ | The ASM Ground Model Method as a Foundation of Requirements Engineering | 2003 | Borger E. | Lecture Notes in Computer Science | 26.03.2004 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Computer Science Logic: Selected Papers/6th Workshop, CSL 92. San Miniato, Italy, September-October 1992 | 1993 | Lecture Notes in Computer Science |
|
05.11.1993 | |||
СБ | Computer Science Logic: Selected Papers/7th Workshop, CSL 93. Swansea, United Kingdom, September 1993 | 1994 | Lecture Notes in Computer Science |
|
24.08.1994 | |||
СБ | Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control | 1996 | Lecture Notes in Computer Science |
|
15.12.1996 | |||
СБ | Abstract State Machines 2003 - Advances in Theory and Practice: Proc./10th Intern. Workshop, ASM 2003, Taormina, Italy, March 2003 | 2003 | Lecture Notes in Computer Science |
|
28.03.2003 |