Verification Model Checking And Abstract Interpretation 4th International

AED299.00
+ AED83.99 Shipping

Verification Model Checking And Abstract Interpretation 4th International

Sold by:
  • product image
Verification Model Checking And Abstract Interpretation 4th International

AED299.00

In stock
+ AED83.99 Shipping

14-Day Returns Policy

Payment methods:

Product details

Product details

Verification Model Checking And Abstract Interpretation 4th International

This Volume Contains The Proceedings Of The 4th International Conference On Veri?cation, Model Checking, And Abstract Interpretation (vmcai 2003), Held In York City, January 9-11, 2003. The Purpose Of Vmcai Was To Provide A Forum For Researchers From Three Communities-veri?cation, Model Checking, And Abstract Interpretation-that Will Facilitate Interaction, Cross-fertilization, And The Advance Of Hybrid Methods That Combine The Three Areas. With The G- Wingneedforformaltoolstoreasonaboutcomplex,in?nite-state,andembedded Systems, Such Hybrid Methods Are Bound To Be Of Great Importance.
  • Brand: Springer Nature B.V
  • Category: Computing & Internet
  • Format: Paperback
  • Language: English
  • Publication Date: 2002-12-13
  • Publisher / Label: Springer Nature B.V
  • Author: Springer Nature B.V
  • Number of Pages: 344
  • Fruugo ID: 557237141-1125506743
  • ISBN: 9783540003489
Delivery

Delivery

Dispatched within 24 hours

  • STANDARD: AED83.99 - Delivery between Tue 10 November 2026–Fri 13 November 2026

Shipping from United Kingdom.

Returns

Returns

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.

View full return policy