1
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
2
Subjects: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
View full text
Electronic eBook
3
by Lair, Robert., Lair, Robert.
Published 2012
Subjects: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
View full text
Electronic eBook
4
by Lair, Robert., Lair, Robert.
Published 2010
Subjects: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
View full text
Electronic eBook