• 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 Išpardavimas

Turime sandėlyje

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
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