Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps Between Software and System Contra, Book 17143, (Paperback)
Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps Between Software and System Contra, Book 17143, (Paperback)
Hero image 0 of Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps Between Software and System Contra, Book 17143, (Paperback), 0 of 1
Preorder Release date Oct 29
Tiziana Margaria

Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps Between Software and System Contra, Book 17143, (Paperback)

(No ratings yet)

Key item features

  • Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Bridging Gaps Between Software and System Contra, Book 17143, (Paperback)
  • Author: Tiziana Margaria
  • ISBN: 9783032401175
  • Format: Paperback
  • Publication Date: 2026-10-29
  • Page Count: 0
Current price is $49.99
Preorder Price Guarantee
Price when purchased online
  • Free shipping
  • Free 90-day returns

How do you want your item?

Try 30 days for just $1! Choose a plan at checkout.
How do you want your item?
Ships to
Arrives by Thu, Oct 29, 2026
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
walmart plus

Try 30 days of Walmart+ for just $1!

T&C apply.

About this item

Product details

Specifications

Customer ratings & reviews

0 out of 5 stars
0 ratings|0 reviews
This item does not have any reviews yet