
Tools and algorithms for the construction and analysis of systems
TACAS '96 (1996 Passau, Germany)

the definitive Java problem-solver
Madhu Siddalingaiah · Jan 1, 1996 · 644 pages · eng
Catalog 0.0/10
Playlogs —
Loading…

TACAS '96 (1996 Passau, Germany)

Herre van Oostendorp

Cate Richards

Glenn L. Vanderburg

ACISP '96 (1996 Wollongong, N.S.W.)

Elaine Weinmann

1996

Shari Stamford Krause, Shari Stanford Krause

Dale Brown

B. T. O'Neill

John Arquilla

Kurt Carlson