Alves-Foss, James

ID:DA09310663

Alias Name: Foss, James Alves-

Search authors sharing the same name

Search Results1-2 of 2

1

Formal syntax and semantics of Java

Jim Alves-Foss (ed.)

Springer c1999 Lecture notes in computer science 1523

Available at 37 libraries
2

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.)

Springer-Verlag c1995 Lecture notes in computer science 971

: gw

Available at 54 libraries

Search this author

Related Authors