|
|

avaa valikko

Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France
Michael Butler, Sylvain Conchon, Fatiha Zaïdi
51,10 €
Springer International Publishing AG
Sivumäärä: 436 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2015
Julkaisuvuosi: 2015, 02.12.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 9407
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015.

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
Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, FranceSuurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783319254227
Asiasanat:
Concurrent systems Distributed algorithms Model checking Software product lines Specification languages Consistency verification Constraint solving Domain specific visualization Evaluation Language design Logic Model-driven engineering Reliabil
Aihealue:
Ulkomaiset kirjat » Computers » Programming » Software Development
Kansikuva tuotteelle