Reset Filters
Language: French
Filter Related Topics within your search.
1
Computer aided verification 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Cover is for reference only
Corporate Authors: CAV Conference 1997 Haifa)
Group Author: Grumberg Orna
Published: Springer,
Publication Dates: c1997.
Call Number: TP301-532/C738/1997/
Book
Save to List
Saved in:
2
Orders, algorithms, and applications International Workshop ORDAL '94, Lyon, France, July 1994 : proceedings

Cover is for reference only
Corporate Authors: International Workshop ORDAL '94 (1994 Lyon)
Group Author: Bouchitte Vincent; Morvan Michel
Published: Springer-Verlag,
Publication Dates: c1994.
Call Number: TP301.6-532/O65/1994/
Book
Save to List
Saved in:
3
Mes premieres constructions de programmes

Cover is for reference only
Main Authors: Gerbier A
Published: Springer-Verlag,
Publication Dates: c1977.
Call Number: TP312/G363/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —