Coverart for item
The Resource Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi, (electronic book)

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi, (electronic book)

Label
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Title
Formal Methods and Software Engineering
Title remainder
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Statement of responsibility
edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi
Contributor
Editor
Subject
Language
eng
Summary
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support
Member of
Cataloging source
NUI
Dewey number
005.1
Image bit depth
0
Index
no index present
LC call number
QA76.758
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Butler, Michael
  • Conchon, Sylvain
  • Zaïdi, Fatiha
Series statement
Lecture Notes in Computer Science,
Series volume
9407
http://library.link/vocab/subjectName
  • Computer science
  • Computer networks
  • Computer programming
  • Software engineering
  • Programming languages (Electronic computers)
  • Algorithms
  • Logic, Symbolic and mathematical
  • Computer Science
  • Software Engineering
  • Programming Techniques
  • Programming Languages, Compilers, Interpreters
  • Algorithm Analysis and Problem Complexity
  • Mathematical Logic and Formal Languages
  • Computer Communication Networks
Label
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi, (electronic book)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
SPR932169892
Dimensions
unknown
Edition
1st ed. 2015.
Extent
1 online resource (XXV, 436 p. 150 illus. in color.)
File format
multiple file formats
Form of item
online
Isbn
9783319254227
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-319-25423-4
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Reproduction note
Electronic resource.
Specific material designation
remote
Label
Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi, (electronic book)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
SPR932169892
Dimensions
unknown
Edition
1st ed. 2015.
Extent
1 online resource (XXV, 436 p. 150 illus. in color.)
File format
multiple file formats
Form of item
online
Isbn
9783319254227
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/978-3-319-25423-4
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Reproduction note
Electronic resource.
Specific material designation
remote

Library Locations

Processing Feedback ...