Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20?21, 2025, Proceedings, Part II (Lecture Notes in Computer Science)

ISBN 10: 3031827023 ISBN 13: 9783031827020

Published by Springer, 2025

Language: English

New Condition: New Soft cover

From Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars

AbeBooks Seller since 22 November 2018

Price: � 80.16 Convert Currency

� 3.01 shipping within U.S.A. Destination, rates & speeds

Quantity: 4 available

Add to basket

About this Item

Seller Inventory # 26403817599

Bibliographic Details

Title: Verification, Model Checking, and Abstract ...

Publisher: Springer

Publication Date: 2025

Binding: Soft cover

Condition: New

Store Description

I mainly carry imported books from South East Asia / South Asia for readers of all Age Groups.

PLETOS INC
6931 51st Avenue, WOODSIDE, Woodside, NY, 11377, U.S.A.

Terms of Sale:

We accept return for those books which are received damamged. Though we take appropriate care in packaing to avoid such situation.

Shipping Terms:

Payment Methods
accepted by seller

Add to Wants