1
door Shankar, A. Udaya., Shankar, A. Udaya.
Gepubliceerd in 2013
Inhoudsopgave: ... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...
Volledige tekst
Elektronisch E-boek
2
door Bello, AbdulKarim
Gepubliceerd in 2019
Onderwerpen: ...Regression analysis - Computer programs...
Volledige tekst
Thesis
3
Gepubliceerd in 2013
Inhoudsopgave: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Volledige tekst
Elektronisch E-boek
4
door Bello, AbdulKarim
Gepubliceerd in 2019
... to identify test cases that have the same relevance to some set of changes. This technique has the problem...
Volledige tekst
Thesis
5
door Jordan, Gregory., Jordan, Gregory.
Gepubliceerd in 2014
Onderwerpen: ...Computer programming....
Volledige tekst
Elektronisch E-boek