System- und Softwareverifizierung: Modellprüftechnik
19,22 €
Systems and Software Verification: Model-Checking Techniques and Tools [Hardcover] [2001] Berard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, P. - Very Good condition
Jetzt bei Ebay:
![Produktbild - Embedded Software Verification and Debugging (Embedded Systems) [Paperback]](https://i.ebayimg.com/thumbs/images/g/y1oAAeSwx~BoN11u/s-l140.jpg)
