Tiziana Margaria 共有 5 項

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre

Tiziana Margaria, Springer Nature, 出版日期: 2022/11/25
現售: HK$1000
購買後立即進貨, 約需 18-25 天

 
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece

Tiziana Margaria, Springer Nature, 出版日期: 2022/10/20
現售: HK$800
購買後立即進貨, 約需 18-25 天

 
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Gre

Tiziana Margaria, Springer Nature, 出版日期: 2022/10/20
現售: HK$800
購買後立即進貨, 約需 18-25 天

 
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22

Tiziana Margaria, Springer Nature, 出版日期: 2022/10/20
現售: HK$700
購買後立即進貨, 約需 18-25 天

 
Leveraging Applications of Formal Methods, Verification and (Paperback)

Tiziana Margaria, Springer, 出版日期: 2008/10/10
原價: HK$1700.00 現售: HK$1615
購買後立即進貨, 約需 18-25 天