Matches in DBpedia 2016-04 for { <http://www.amazon.com/Programming-Specifications-Introduction-Specifying-Monographs/dp/1461396875/ref=sr_1_1?ie=UTF8&qid=1431851255&sr=8-1&keywords=an+introduction+to+anna+programming+with+specifications/> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- ref=sr_1_1?ie=UTF8&qid=1431851255&sr=8-1&keywords=an+introduction+to+anna+programming+with+specifications first "David".
- ref=sr_1_1?ie=UTF8&qid=1431851255&sr=8-1&keywords=an+introduction+to+anna+programming+with+specifications isCitedBy Automated_theorem_proving.
- ref=sr_1_1?ie=UTF8&qid=1431851255&sr=8-1&keywords=an+introduction+to+anna+programming+with+specifications last "Luckham".
- ref=sr_1_1?ie=UTF8&qid=1431851255&sr=8-1&keywords=an+introduction+to+anna+programming+with+specifications publisher "Springer-Verlag Texts and Monographs in Computer Science, 421 pp.".
- ref=sr_1_1?ie=UTF8&qid=1431851255&sr=8-1&keywords=an+introduction+to+anna+programming+with+specifications title "Programming with Specifications: An Introduction to Anna, A Language for Specifying Ada Programs".
- ref=sr_1_1?ie=UTF8&qid=1431851255&sr=8-1&keywords=an+introduction+to+anna+programming+with+specifications url ref=sr_1_1?ie=UTF8&qid=1431851255&sr=8-1&keywords=an+introduction+to+anna+programming+with+specifications.
- ref=sr_1_1?ie=UTF8&qid=1431851255&sr=8-1&keywords=an+introduction+to+anna+programming+with+specifications year "1990".