• Book cover of: Logic of Software. A Tasting Menu of Formal Methods. By: Wolfgang Ahrendt

Logic of Software. A Tasting Menu of Formal Methods

Wolfgang Ahrendt

€109,12
€109,12 €112,49 Sale
Tax included. Shipping calculated at checkout.

In stock
Autorius Wolfgang Ahrendt
Leidimo metai 2022 m.
Puslapių skč. 521 psl.
Viršelis Minkštas viršelis
ISBN 9783031081651
Leidimas 1st ed. 2022

Logic of Software. A Tasting Menu of Formal Methods

Logic of Software. A Tasting Menu of Formal Methods by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen.

Published by Springer International Publishing AG, (2022), Paperback, 521 pages.

Book cover of: Logic of Software. A Tasting Menu of Formal Methods. By: Wolfgang Ahrendt

Logic of Software. A Tasting Menu of ...

€109,12
€109,12 €112,49