Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. (2018)

• Record Type: Book
• Other Titles: ICFEM 2018
• Further Information: Note: Jing Sun, Meng Sun (eds.).
• Editors: (Computer scientist), Sun, Jing; Sun, Meng
• Other Names: International Conference on Formal Engineering Methods, 20th
• Contents: Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.-Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xxii, 474 pages), illustrations
• Subjects: 004.01/51; Computer science; Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computers -- Programming -- General; Computers -- Hardware -- Handheld Devices; Computers -- General; Mathematics -- Logic; Computers -- Expert Systems; Computer programming / software development; Systems analysis & design; Information technology: general issues; Mathematical theory of computation; Expert systems / knowledge-based systems; Software engineering; Logic design; Computer system performance; Computer industry; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books
• Languages: English
• ISBNs: 9783030024505; 3030024504
• Related ISBNs: 9783030024499
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed November 9, 2018).
• 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.