Welcome
Copyright © SirsiDynix. All rights reserved.
branding logo
Center Of Excellence for Jordanian Public University Library System (COE-JOPULS)
user_choices_background_image
Welcome
login container bottom
Jordanian Union Catalogue
360 Search
Search Libraries Catalogue
Duplicate Items
Add to My List

Print
Sorts and Limits

Results 1 - 2 of 2
1. Title: Systems and software verification : model-checking techniques and tools / B. B<U+00E9>rard ... [et al.].
Publication: Springer, Berlin ; New York : c2001.
2. Title: Compositional verification of concurrent and real-time systems / by Eric Y.T. Juan, Jeffrey J.P. Tsai.
The Kluwer international series in engineering and computer science ;
Author: Juan, Eric Y. T.
Publication: Kluwer Academic Publishers, Boston : c2002.
 
 
Results 1 - 2 of 2
Duplicate Items
Add to My List

Print
Sorts and Limits