Static Analysis 11th International Symposium Sas 2004 Verona Italy A
由……售出:
CN¥549.00
有货
+ CN¥149.49 送货
14天退货政策
付款方式：
产品详情
产品详情
Static Analysis 11th International Symposium Sas 2004 Verona Italy A
Static Analysis Is A Research Area Aimed At Developing Principles And Tools For Veri?cation, Certi?cation, Semantics-based Manipulation, And High-performance Implementation Of Programming Languages And Systems. The Series Of Static Analysis Symposia Has Served As The Primary Venue For Presentation And Disc- Sion Of Theoretical, Practical, And Application Advances In The Area. This Volume Contains The Papers Accepted For Presentation At The 11th Int- Nationalstaticanalysissymposium(sas2004),whichwasheldaugust26-28in Verona,italy.inresponse To The Callfor Papers,63contributions Weresubmitted From 20 Di?erent Countries.
- 品牌: Springer Nature B.V
- 类别: 计算机与互联网
-
语言: English
-
作者: Springer Nature B.V
-
出版日期: 2004-08-17
-
页数: 412
-
出版社／标签: Springer Nature B.V
-
格式: Paperback
- Fruugo ID: 557232550-1125502025
- ISBN: 9783540227915
配送
送货
在 24 小时内发货
-
STANDARD: CN¥149.49 - 之间的交付 周二 10 十一月 2026–周二 08 十二月 2026
从 英国 送货。
退货
退货
我们会争取将您订购的产品按照您的规格完整地配送给您。不过，万一您收到不完整的订单，或收到的产品与您订购的不同，或者有其他原因让您对订单不满意，您可以要求全部或部分退货，您将收到相应产品的全额退款。