Please use this identifier to cite or link to this item:
http://localhost:8080/xmlui/handle/123456789/146231
Title: | Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction |
Authors: | Weiß, Benjamin |
Issue Date: | 2007 |
Publisher: | KIT Scientific Publishing |
link: | http://library.oapen.org/bitstream/20.500.12657/24533/1/1005578.pdf |
Keywords: | Computer science;History |
ISBN: | 9783866446236 |
Theme: | 教科書-自然科學類 |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.