Showing
1 - 1
results of
1
Skip to content
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Boer, Frank S. de
Search Results - Boer, Frank S. de
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Verification of sequential and concurrent programs
by
Apt, Krzysztof R. , 1949-
,
Boer, Frank S. de
,
Olderog, Ernst-Rudiger
Published 2009
Call Number:
Loading…
Located:
Loading…
Loading…
QR Code
Search Tools:
RSS Feed
Email Search
Related Subjects
Computer software
Verification