Suggested Topics within your search.
Search alternatives:
computational problem » computational problems, computational power, computational approaches
compositional program » composition programs, computational program, compositional problems
microprocessor java » microprocessor data, microprocessor a, microprocessor labs
https » http
1
Cover Image
Published 2010
Table of Contents: “... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search