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: Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / Doron A. Peled, Moshe Y. Vardi (eds.).
Lecture notes in computer science ;
Author: FORTE 2002 (2002 : Houston, Tex.)
Publication: Springer, Berlin ; New York : 2002.
2. Title: Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings / Jean-Francois Raskin, P.S. Thiagarajan (eds.).
Lecture notes in computer science,
Author: FORMATS 2007 (2007 : Salzburg, Austria)
Publication: Springer, Berlin ; New York : c2007.
 
 
Results 1 - 2 of 2
Duplicate Items
Add to My List

Print
Sorts and Limits