Back

NSA -- Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Lecture Notes in Computer Science .9058) (2015. 2015. xiii, 458 S. 115 SW-Abb. 235 mm)

Herausgegeben von Havelund, Klaus/ Holzmann, Gerard/ Joshi, Rajeev
1,960.57 THB
会員価格
1,764.52
Publisher
SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING
Publication Date
Apr 2015
ISBN
9783319175232
Pages
-
Item Type
Book
Format
Paperback

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

ご注文金額 1,200.00 THB以上で国内送料無料

Discount is applied at checkout.

Recently Viewed Items

Related Products