國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Diacritics

Refine search

Associated Subjects

Search result for [ author_sort:"lamprecht, anna-lena."]

1 records (0.012s)· Page 1 of 1 • 1

1.

Leveraging applications of formal me...

~
(1998 :)
- Leveraging applications of formal methods, verification, and validation6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /
- by: (1998 :); Lamprecht, Anna-Lena.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Language: 英文
- Publisher: Imprint: Springer,; Springer International Publishing :
- Place of Publication: Cham :
- Year of Publication: 2016
- ISBN: 9783319516400; 9783319516417
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Save to Personal SDI

Export

pickup library

Change password

Login