Statische Analyse und Verifizierung von Luft- und Raumfahrtsoftware von Abstract Interpreta...
80,33 €
Static Analysis and Verification of Aerospace Software by Abstract Interpretation, Paperback by Julien Bertrane; Cousot, Patrick; Radhia Cousot; Feret, Jerome; Mauborgne, Laurent, ISBN 1601988567, ISBN-13 9781601988560, Like New Used, Free shipping in the US
Jetzt bei Ebay: