Author Search Results

1

Cover Image

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings.

Published 1992

Other Authors: “...Borger, E. 1946- ....”

Book

2

Cover Image

Architecture design and validation methods /

Published 2000

Other Authors: “...Borger, E. 1946-...”

Book

3

Cover Image

Java and the Java virtual machine : definition, verification, validation /

by Stark, Robert F., 1963-
Published 2001

Other Authors: “...Borger, E. 1946-...”

Book

4

Cover Image

SCL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 1989 : proceedings /

Published 1990

Other Authors: “...Borger, E. 1946- ....”

Book