Search
Leader | 00000cz a2200037n 45 0 | ||
---|---|---|---|
001 | NII|DA17093990 (VIAF cluster) (Authority/Source Record) | ||
005 | 20230615104243.0 | ||
003 | NII | ||
008 | 230615nneanz||abbn n and d | ||
035 | ‡a (NII)DA17093990 | ||
100 | 1 | ‡a Pham, Ngoc Hung | |
670 | ‡a Author of Assume-guarantee verification of evolving component-based software | ||
919 | ‡a assumeguaranteeverificationofevolvingcomponentbasedsoftware ‡A Assume-guarantee verification of evolving component-based software ‡9 1 | ||
996 | ‡2 WKP|Q102067842 | ||
996 | ‡2 WKP|Q91040089 | ||
996 | ‡2 WKP|Q43074779 | ||
996 | ‡2 LC|nr 99032555 | ||
996 | ‡2 WKP|Q88327122 | ||
996 | ‡2 ISNI|0000000052402467 | ||
996 | ‡2 WKP|Q90353596 | ||
996 | ‡2 PLWABN|9811300729205606 | ||
996 | ‡2 ISNI|000000011399740X | ||
996 | ‡2 DNB|1151836206 | ||
996 | ‡2 ISNI|0000000385037453 | ||
996 | ‡2 LC|no2008177581 | ||
996 | ‡2 WKP|Q122460443 | ||
996 | ‡2 WKP|Q28479105 | ||
996 | ‡2 LC|n 2012068541 | ||
996 | ‡2 WKP|Q10806963 | ||
996 | ‡2 WKP|Q88416593 | ||
996 | ‡2 DNB|1347238336 | ||
996 | ‡2 WKP|Q89572552 | ||
996 | ‡2 WKP|Q91356008 | ||
996 | ‡2 DNB|1165258293 | ||
996 | ‡2 WKP|Q88018525 | ||
996 | ‡2 BNF|17124140 | ||
996 | ‡2 ISNI|0000000031035282 | ||
996 | ‡2 PLWABN|9810636781505606 | ||
996 | ‡2 LC|n 96094687 | ||
996 | ‡2 WKP|Q57035706 | ||
996 | ‡2 WKP|Q100531728 | ||
996 | ‡2 DNB|1264954794 | ||
996 | ‡2 WKP|Q10799409 | ||
996 | ‡2 ISNI|000000046026258X | ||
996 | ‡2 DNB|1236043766 | ||
996 | ‡2 SUDOC|235664189 | ||
996 | ‡2 PLWABN|9813179852305606 | ||
997 | ‡a 0 0 lived 0 0 ‡9 1 | ||
998 | ‡a Phạm Ngọc Hùng ‡2 WKP|Q20026079 ‡3 exact name | ||
998 | ‡a Phạm, Ngọc Hưng ‡2 LC|n 2012068541 ‡3 exact name | ||
998 | ‡a Phạm, Ngọc Hưng ‡2 ISNI|0000000385037453 ‡3 exact name |