skip to main content

Language:

Modular Specification and Verification of Object-Oriented Programs

Peter Müller

Springer Berlin Heidelberg 2002

Online access. The library also has physical copies.

Actions
1. Add to e-Shelf
2. Remove from e-Shelf
3. E-mail
4. Print
5. Permalink
6. Citation
7. EasyBib
8. EndNote
9. RefWorks
10. Delicious
11. Export RIS
12. Export BibTeX

Sign in to Post Your Review

Sign in to Add New Tags

collapse tags list

All Tags Cloud

Back to results list

Go to Previous page

Previous Result 5 Next Go to Next page

Go to Next page

Implemented by: Social Network Logos:

Searching Remote Databases, Please Wait

Searching for
inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Show me what you have so far