Formal Methods and Software Engineering: 17th International Conference on Formal Engi... (Bog, Paperback / softback, Engelsk)

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

(Bog, Paperback / softback, Engelsk)

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 1st ed. 2015
Udgivelsesdato 02-12-2015
Første udgivelsesår 2015
Serie Lecture Notes in Computer Science
Illustrationer 150 Illustrations, color; XXV, 436 p. 150 illus. in color.
Fagredaktør Michael Butler, Sylvain Conchon, Fatiha Zaidi
Originalsprog Switzerland
Sideantal 436
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 436 pages, 150 Illustrations, color; XXV, 436 p. 150 illus. in color.
Mål 235 x 155
ISBN-13 / EAN-13 9783319254227