Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
alternating specifications » alternative specifications, integrating specification, lighting specifications
specifications programming » specification programming, specifications program, verification programming
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
https » http
alternating specifications » alternative specifications, integrating specification, lighting specifications
specifications programming » specification programming, specifications program, verification programming
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2005
İçindekiler:
“...-Based Declarative Access Control -- VCD: A Visual Formalism for Specification of Heterogeneous Software...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... of Models: From Abstract Views to Concrete Specifications -- Flexible Business Process Management Using...”Tam Metin Erişim
Elektronik
Ekitap