1
Published 2006
Table of Contents: ...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Conversions and Interval Arithmetic -- An Interval Method for Seeking the Nash Equilibria of Non-cooperative...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Model -- An Interval-based Method for Text Clustering -- A GVT Based Algorithm for Butterfly Barrier...
View full text
Electronic eBook