Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
by
Butler, Michael. editor.
Title
:
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Author
:
Butler, Michael. editor.
ISBN
:
9783319254234
Edition
:
1st ed. 2015.
Physical Description
:
XXV, 436 p. 150 illus. in color. online resource.
Series
:
Programming and Software Engineering, 9407
Added Author
:
Butler, Michael.
Conchon, Sylvain.
Zaïdi, Fatiha.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 518970-1001 | ONLINE | | Elektronik Kütüphane |