Reset Filters
Filter Related Topics: Verification
Filter Related Topics within your search.
1
Verification of sequential and concurrent programs

Cover is for reference only
Main Authors: Apt Krzysztof R., 1949-
Corporate Authors: SpringerLink (Online service)
Group Author: Olderog E.-R.; Boer Frank S. de.
Published: Springer,
Publication Dates: c2009.
Book
Save to List
Saved in:
2
Verification of sequential and concurrent programs

Cover is for reference only
Main Authors: Apt Krzysztof R 1949-
Group Author: Olderog Ernst-Rudiger
Published: Springer-Verlag,
Publication Dates: c1997.
Call Number: TP31-43/A655/2nd ed./
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —