Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

AvMichael Butler,Sylvain Conchon

Häftad, Engelska, 2015

551 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

  • Nyhet

Gauntlet

Michael Butler, Dennis Shryack

Häftad

287 kr

Driveshaft

Michael Butler, S A Harrison

Häftad

149 kr