logo
Cancel

70396223

9783031301667

Concise Guide to Software Verification : From Model Checking to Annotation Checking

Concise Guide to Software Verification : From Model Checking to Annotation Checking
$81.26
$3.95 Shipping
  • Condition: New
  • Provider: TextbookRush Contact
  • Provider Rating:
    91%
  • Ships From: Columbus, OH
  • Shipping: Standard, Expedited
  • Comments: All orders ship SAME or NEXT business day. Expedited shipments will be received in 1-5 business days within the United States. We proudly ship to APO/FPO addresses. 100% Satisfaction Guaranteed!
seal  

Ask the provider about this item.

Most renters respond to questions in 48 hours or less.
The response will be emailed to you.
Cancel

Product details

  • ISBN-13: 9783031301667
  • ISBN: 3031301668
  • Publication Date: 2023
  • Publisher: Springer International Publishing AG

AUTHOR

Huisman, Marieke, Wijs, Anton

SUMMARY

Huisman, Marieke is the author of 'Concise Guide to Software Verification : From Model Checking to Annotation Checking', published 2023 under ISBN 9783031301667 and ISBN 3031301668.

[read more]

Questions about purchases?

You can find lots of answers to common customer questions in our FAQs

View a detailed breakdown of our shipping prices

Learn about our return policy

Still need help? Feel free to contact us

View college textbooks by subject
and top textbooks for college

The ValoreBooks Guarantee

The ValoreBooks Guarantee

With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.