Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT
Yazdır
1. 
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings için kapak resmi
Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
by 
Giese, Holger. editor.
https://doi.org/10.1007/978-3-642-30793-5
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
2. 
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings için kapak resmi
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
by 
Barringer, Howard. editor.
https://doi.org/10.1007/978-3-642-16612-9
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
3. 
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings için kapak resmi
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings
by 
Meseguer, José. editor.
https://doi.org/10.1007/978-3-540-79980-1
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
4. 
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers için kapak resmi
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
by 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/11940197
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.