
Formal Aspects of Security and Trust
Gilles Barthe, Anupam Datta, Sandro Etalle
₹4,813

by Stefan Thiel
Free delivery. Nothing extra to pay at checkout.
In diesem Band wird die Automatisierung des Biegeprozesses in rechnergesteuerten Richtmaschinen grundlegend behandelt. Für die Beherrschung der beiden Grundprobleme (Rückfederung und gegenseitige Abhängigkeit mehrerer Richtstellen) werden verschiedene neue Verfahren vom theoretischen Ansatz bis zum praktisch einsetzbaren Algorithmus entwickelt.
Description supplied by the publisher.