• 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 Em promoção

Temos em stock

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

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