Title:
Verification of object-oriented software : the key approach
Series:
Lecture notes in computer science, 4334
Publication Information:
Berlin : Springer, 2007
Physical Description:
xxix, 658 p. : ill. ; 24 cm.
ISBN:
9783540689775
9783540690610
General Note:
Also available in online version
Electronic Access:
View Fulltext
DSP_RESTRICTION_NOTE:
Remote access restricted to users with a valid UTM ID via VPN
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000010164731 | QA76.76.V47 V475 2007 | Open Access Book | Book | Searching... |