1
by Friesen, Jeff., Friesen, Jeff.
Published 2011
Subjects: ...Java (Computer program language)....
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
View full text
Electronic eBook
4
Table of Contents: ...-Following Method -- The KKT System -- Implementation Issues -- The Affine-Scaling Method -- The Homogeneous...
View full text
Electronic eBook
5
Table of Contents: ... System -- Implementation Issues -- The Affine-Scaling Method -- The Homogeneous Self-Dual Method...
View full text
Electronic eBook