Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 39 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Le
Jonathan P. Bowen, Zhiming Liu, Zili Zhang
59,10 €
Springer Nature Switzerland AG
Sivumäärä: 237 sivua
Asu: Pehmeäkantinen kirja
Painos: 2019 ed.
Julkaisuvuosi: 2019, 14.04.2019 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 11430
This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering;

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

Tilaustuote

Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Haluan myydä tämän tuotteen
Ryhmätilaus-
laskuri
Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial LeSuurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783030176006
Asiasanat:
artificial intelligence computer science computer systems formal methods formal specification formal verification history of computing logic model checking modelling languages program refinement programming language semantics reactive systems
Aihealue:
Ulkomaiset kirjat » Computers » Programming » Software Development
Kansikuva tuotteelle