ロールオーバーで画像拡大

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Lecture Notes in Computer Science .11429) (1st ed. 2019. 2019.

Name: Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Lecture Notes in Computer Science .11429) (1st ed. 2019. 2019.
Brand: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;
SKU: 00000_00000_00000_00000
Price: 80.86 SGD
Availability: OutOfStock

Herausgegeben von Beyer, Dirk/ Huisman, Marieke/ Kordon, Fabrice/ Steffen, Bernhard

80.86 SGD

会員価格

72.78

数量:

Product Description

.978-3-030-17501-6

... Read Full Text

Publisher

SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;

Publication Date

ISBN

9783030175016

Pages

Item Type

Book

Format

Paperback

Unavailable

This product is currently out of stock. Please check back later.

カート

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Lecture Notes in Computer Science .11429) (1st ed. 2019. 2019.

Product Description

Unavailable

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Lecture Notes in Computer Science .11429) (1st ed. 2019. 2019.

Recently Viewed Items

Related Products