|
|

avaa valikko

Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017,
Alessandro Cimatti, Marjan Sirjani
51,10 €
Springer
Sivumäärä: 410 sivua
Asu: Pehmeäkantinen kirja
Painos: 2017 ed.
Julkaisuvuosi: 2017, 15.08.2017 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 10469
​This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.
The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions.

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.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017,Suurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783319661964
Asiasanat:
artificial intelligence computer software selection and evaluation data security distributed computer systems formal methods formal specification hardware model checker model checking problem solving program compilers programming languages sati
Aihealue:
Ulkomaiset kirjat » Computers » Programming » Software Development
Kansikuva tuotteelle