Symbolic Model Checking

Kirjailija:

Kenneth L. McMillan

Nidottu

, 2012

englanti

65,40 €

66,10 €

Tilaustuote

Voidaan lähettää ke 1.–ti 7. heinäkuuta

Kokonaistoimitusaika lasketaan kassalla

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied.

Kirjailija: Kenneth L. McMillan
ISBN: 9781461363996
Kieli: englanti
Paino: 281 grammaa
Julkaisupäivä: 23.10.2012
Kustantaja: Springer-Verlag New York Inc.
Sivumäärä: 194

Toimitus

Ilmainen toimitus yksityisasiakkaille yli 29 euron tilauksiin. Tarjoamme toimituksen noutopisteeseen, suoraan postilaatikkoosi tai ovelle, pakettiautomaattiin tai kotiinkuljetuksena. Saatavilla olevat toimitusvaihtoehdot näkyvät kassalla. Toimitusaika voi vaihdella toimitustavan, osoitteen ja tilauksesi sisältämien tuotteiden pidempien toimitusaikojen mukaan. Arvioitu kokonaisaika toimitukselle ilmoitetaan kassalla.

DSV

Maksaminen

Voit maksaa MobilePaylla, kortilla (Visa tai Mastercard), Apple Paylla tai Klarnalla. Klarnan maksuvaihtoehdot ovat: korttimaksu, verkkopankkimaksu, lasku tai osamaksu. Klikkaamalla "Maksa tilaus" hyväksyt Kustomsin ja Adlibriksen yleiset ehdot. Voit tutustua henkilötietojesi käsittelyyn Adlibriksen tietosuojakäytännössä ja Kustomsin tietosuojainformaatiossa.

Palautukset

Adlibriksella sinulla on aina 28 päivän palautusoikeus siitä hetkestä, kun olet vastaanottanut tuotteesi. Palautusmaksu on 5,90 euroa. Peruuttamisoikeus ei koske tuotteita, jotka toimitetaan sähköisesti ja ovat ladattavissa tilauksen vahvistushetkestä alkaen. Lisätietoja palautuksista, hyvityksistä ja reklamaatioista löydät ostoehdoistamme.

Kategorian uusimmat

Symbolic Model Checking

Kuvaus

Tuotetiedot