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 Väljamüük

Meil on laos

Toodet hetkel ei ole

Jätke oma e-posti aadress ja anname teada, kui toode on taas laos.

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.

Kategorijos Programmide inseneriteadus

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

Riik/piirkond