Name: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceed
Brand: Springer
SKU: 9783540311393
Price: 5675.00 INR
Availability: InStock
ISBN: 9783540311393

Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceed

VERIFICATION MODEL CHECKING &

Paperback · ISBN 9783540311393

₹5,675 2%

₹5,804

Inclusive of GST and other taxes

100% Quality Assurance

No Account Creation Required

Fast Delivery

Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN	9783540311393
Subtitle	VERIFICATION MODEL CHECKING &
Publisher	Springer
Publication date	December 2005
Language	English
MRP	£44.99 GBP
Page count	460
Item weight	141 g

Emerson, E. Allen Editor

Biography not available.

Namjoshi, Kedar S. Editor

Biography not available.

Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceed

Key Specifications

Emerson, E. Allen Editor

Namjoshi, Kedar S. Editor

Related titles