Вы здесь

Borger E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Programmer Friendly Modular Definition of the Semantics of Java 1999 Borger E., Schulte W. Lecture Notes in Computer Science 03.07.1999
СТ An ASM Semantics for UML Activity Diagrams 2000 Borger E., Cavarra A., Riccobene E. Lecture Notes in Computer Science 17.06.2000
СТ 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
СТ Modeling the Dynamics of UML State Machines 2000 Borger E., Cavarra A., Riccobene E. Lecture Notes in Computer Science 27.10.2000
СТ The ASM Ground Model Method as a Foundation of Requirements Engineering 2003 Borger E. Lecture Notes in Computer Science 26.03.2004
М The Classical Decision Problem 1997 Borger E., Gradel E., Gurevich Y. 11.07.2001
СТ 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