เลื่อนเมาส์บนรูปภาพเพื่อขยาย

Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Lecture Notes in Computer Science .9807) (1st ed. 2016. 2016. xvii, 502 S. 88 SW-Abb. 235 mm)

Name: Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Lecture Notes in Computer Science .9807) (1st ed. 2016. 2016. xvii, 502 S. 88 SW-Abb. 235 mm)
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING
SKU: 00000_00000_00000_00000
Price: 1960.57 THB
Availability: InStock

Herausgegeben von Blanchette, Jasmin Christian/ Merz, Stephan

1,960.57 THB

ราคาสมาชิก

1,764.52

จำนวน:

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING

Publication Date

Aug 2016

ISBN

9783319431437

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.00THB

รถเข็นของคุณ

Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Lecture Notes in Computer Science .9807) (1st ed. 2016. 2016. xvii, 502 S. 88 SW-Abb. 235 mm)

Available to Order

Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings (Lecture Notes in Computer Science .9807) (1st ed. 2016. 2016. xvii, 502 S. 88 SW-Abb. 235 mm)

Recently Viewed Items

Related Products