Beskrivning
Beskrivning
The chapter “Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Nas's Illmatic | 0:e upplagan Sänkt pris
Nasa Mercury - 1956 to 1963 - All Models | 0:e upplagan Begränsat antal
Rea!
NASA Formal Methods | 1:a upplagan Begränsat antal
Det ursprungliga priset var: 814,00 kr.325,60 krDet nuvarande priset är: 325,60 kr.
TRYGGT KÖP
Handla tryggt hos oss
- Fri frakt över 299,00 kr
- 14 dagars ångerrätt & retur
- 100% säkra betalningar med SSL
- Kvalitetsgaranti på alla produkter
Om denna bok
NASA Formal Methods av Ritchie Lee och Susmit Jha är en Häftad bok med 442 sidor på Engelska. Detta är den 1:a upplagan som utgavs 2020 av Springer Nature.
.
Produktinformation
Kategori:
Okänd
Bandtyp:
Häftad
