static analysis verification aerospace von bertrane julien (2 Ergebnisse)

Feedback

Sie suchten nach:

Autor: bertrane julien ,

Titel: static analysis verification aerospace

Suche verfeinern

Sortiert nach

Beispielbild f�r diese ISBN

Static Analysis and Verification of Aerospace Software by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)

Julien Bertrane; Patrick Cousot; Radhia Cousot; J�r�me Feret; Laurent Mauborgne; Min�, Antoine; Xavier Rival

Verlag: Now Publishers, 2015

ISBN 10: 1601988567 ISBN 13: 9781601988560

Sprache: Englisch

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Neu - Softcover
Zustand: New

EUR 86,31
W�hrung umrechnen

EUR 5,82 f�r den Versand von Vereinigtes K�nigreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar
In den Warenkorb

Zustand: New. In.
Beispielbild f�r diese ISBN

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane/ Cousot, Patrick/ Radhia Cousot/ Feret, Jerome/ Mauborgne, Laurent

Verlag: Now Pub, 2015

ISBN 10: 1601988567 ISBN 13: 9781601988560

Sprache: Englisch

Anbieter: Revaluation Books, Exeter, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Verk�ufer kontaktieren

Neu - Softcover
Zustand: Brand New

EUR 110,28
W�hrung umrechnen

EUR 11,68 f�r den Versand von Vereinigtes K�nigreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar
In den Warenkorb

Paperback. Zustand: Brand New. 138 pages. 9.21x6.14x0.30 inches. In Stock.