Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive imperative » interactive immersive, interactive narrative, interaction interactive
imperative programming » declarative programming, reactive programming
program constructing » program construction, diagram constructing, programs conducting
programming program » programming programmed, programming problem, programming problems
constructing https » construction https, consulting https, constructing better
interactive imperative » interactive immersive, interactive narrative, interaction interactive
imperative programming » declarative programming, reactive programming
program constructing » program construction, diagram constructing, programs conducting
programming program » programming programmed, programming problem, programming problems
constructing https » construction https, consulting https, constructing better
1
Published 2010
Table of Contents:
“... -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”View full text
Electronic
eBook
3
Table of Contents:
“...Getting Started with F# and .NET -- Introducing Functional Programming -- Introducing Imperative...”
View full text
View full text
Electronic
eBook