1
Published 2010
Table of Contents: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
View full text
Electronic eBook