A Roadmap for Formal Property Verification

číslo produktu:110340

rezervuj

A Roadmap for Formal Property Verification

DasGupta

Rok vydania: 2006

Vydavateľ: Springer

Kniha je momentálne nedostupná.

V prípade dlhodobého záujmu si urobte REZERVÁCIU a my vám odložíme žiadaný kus.

Podrobnosti o titule (výrobné údaje):

Vydavateľstvo: Springer

Rok vydania: 2006

ISBN: 978-1-4020-4757-2

(9781402047572)

Väzba: tvrdá