Concise Guide to Software Verification

Name: Concise Guide to Software Verification
Brand: Marieke Huisman
SKU: 9783031301667
Price: 91.93 EUR
Availability: InStock

Marieke Huisman

€91,93

€91,93 €95,24 Išpardavimas

Turime sandėlyje

Prekės šiuo metu neturime

Palikite el. paštą ir pranešime iškart, kai prekė vėl atsiras sandėlyje.

Autorius Marieke Huisman

Kalba Anglų k.

Žanras Mathematics

Leidėjas Springer International Publishing AG

Leidimo metai 2023 m.

Puslapių skč. 248 psl.

Viršelis Kietas viršelis

ISBN 9783031301667

Leidimas 2023 ed.

Concise Guide to Software Verification by Marieke Huisman, Anton Wijs.

Published by Springer International Publishing AG, (2023), Hardback, 248 pages.

Topics: Mathematics.

Concise Guide to Software Verification

€91,93

€91,93 €95,24

Šalis/regionas