Formal methods and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings. (2015)

• Record Type: Book
• Further Information: Note: Michael Butler, Sylvain Conchon, Fatiha Zaïdi (eds.).
• Editors: Butler, Michael, 1967-; Conchon, Sylvain; Zaïdi, Fatiha
• Other Names: International Conference on Formal Engineering Methods, 17th
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Copyright Date: 2015
• Extent: 1 online resource (436 pages)
• Subjects: 005.131; Computer science; Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computers -- Programming -- General; Computers -- Programming Languages -- General; Computers -- Programming -- Algorithms; Mathematics -- Logic; Computers -- Hardware -- Network Hardware; Computer programming / software development; Programming & scripting languages: general; Algorithms & data structures; Mathematical theory of computation; Network hardware; Software engineering; Computer software; Computer Communication Networks; Computers -- Software Development & Engineering -- General; Software Engineering
• Languages: English
• ISBNs: 9783319254234
• Related ISBNs: 9783319254227
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.