Statische Analyse und Verifizierung von Luft- und Raumfahrtsoftware von Abstract Interpreta...
80,29 €
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, Brand New, Free P&P in the UK
Jetzt bei Ebay: