EN

Delivery in 5-10 business days, free from 28 €

Filters

Dirk Beyer

Showing 1-6 of 6

Paperback

Tools and Algorithms for the Construction and Analysis of Systems

€52,89~~€56,24~~

In stock

Paperback

TOOLympics Challenge 2023

€58,49~~€62,49~~

Delivery 3-4 weeks

Paperback

Tests and Proofs

€52,89~~€56,24~~

Delivery 3-4 weeks

Paperback

Verification, Model Checking, and Abstract Interpretation

€80,89~~€87,49~~

Delivery 3-4 weeks

Paperback

Tools and Algorithms for the Construction and Analysis of Systems

€52,89~~€56,24~~

Delivery 3-4 weeks

Paperback

Tools and Algorithms for the Construction and Analysis of Systems

€52,89~~€56,24~~

Delivery 3-4 weeks