Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN978-0-387-97299-2> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- books?vid=ISBN978-0-387-97299-2 author1Link "Zohar Manna".
- books?vid=ISBN978-0-387-97299-2 author2Link "Amir Pnueli".
- books?vid=ISBN978-0-387-97299-2 chapter "An Exercise in Verification of Multi-Process Programs.".
- books?vid=ISBN978-0-387-97299-2 first1 "Zohar".
- books?vid=ISBN978-0-387-97299-2 first2 "Amir".
- books?vid=ISBN978-0-387-97299-2 isCitedBy Szymaxc5x84skis_algorithm.
- books?vid=ISBN978-0-387-97299-2 isbn "978-0-387-97299-2".
- books?vid=ISBN978-0-387-97299-2 last1 "Manna".
- books?vid=ISBN978-0-387-97299-2 last2 "Pnueli".
- books?vid=ISBN978-0-387-97299-2 pages "289–301".
- books?vid=ISBN978-0-387-97299-2 publisher "Springer Verlag".
- books?vid=ISBN978-0-387-97299-2 title "Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra".
- books?vid=ISBN978-0-387-97299-2 year "1990".