Search alternatives:
simulation example » simulations examples, regulation example, simulated example
example modeling » example dealing, example meeting, example model
modeling pointer » modeling primer, modeling voter, modeling computer
pointer programs » power programs, computer programs, oriented programs
simulation example » simulations examples, regulation example, simulated example
example modeling » example dealing, example meeting, example model
modeling pointer » modeling primer, modeling voter, modeling computer
pointer programs » power programs, computer programs, oriented programs
1
by Guerra, Esther.
Published 2021
Format:
Published 2021
Table of Contents: “... Families with Numerical Features -- 1 Introduction -- 2 Motivating Example -- 3 A Language for Program...”
Click to View
2
by Sankaranarayanan, Sriram.
Published 2023
Format:
Published 2023
Table of Contents: “... Verification of Pointer Programs -- 1 Introduction -- 2 A tour of WhyRel -- 3 Patterns of alignment -- 4...”
Click to View
3
by Ludin, Anwar.
Published 2014
Format:
Published 2014
Table of Contents: “... -- Acknowledgments -- Introduction -- Chapter 1: Getting Started -- Cascades Programming Model -- QML -- Signals...”
Click to View