Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programs certified » programming certified, products certified
certified function » fortified functional
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java programs » java programming
programs certified » programming certified, products certified
certified function » fortified functional
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java programs » java programming
1
af Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Udgivet 2010
Indholdsfortegnelse:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Udgivet 2010
Få fuldtekst
Electronisk
eBog
2
Udgivet 2015
Indholdsfortegnelse:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Få fuldtekst
Electronisk
eBog