Del 9407 - Lecture Notes in Computer Science

Formal Methods and Software Engineering

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

Häftad, Engelska, 2015

AvMichael Butler,Sylvain Conchon,Fatiha Zaïdi,Fatiha Zaidi

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2015-12-02
Mått155 x 235 x 25 mm
Vikt698 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor436
FörlagSpringer International Publishing AG
ISBN9783319254227

Tillhör följande kategorier

Du kanske också är intresserad av

Apprendre à programmer avec Ocaml

Sylvain Conchon, Jean-Christophe Fillitre

Häftad

509 kr

Testing Software and Systems

Burkhart Wolff, Fatiha Zaidi

Häftad

709 kr

Mark Boyer, Natalie Hudson, Michael Butler, University of CT) Boyer, Mark (Professor, Professor, Uniersity of Dayton) Hudson, Natalie (Associate Professor, Associate Professor, Clark University) Butler, Michael (Associate Professor, Associate Professor, Mark A. Boyer, Natalie F. Hudson, Mark A, Boyer, Natalie F Hudson, Mark A Boyer, Michael J Butler