Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014 and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers /: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014 and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers. (2016)

• Record Type: Book
• Further Information: Note: Anna-Lena Lamprecht (Ed.).
• Authors: Lamprecht, Anna-Lena
• Other Names: ISoLA (Symposium), 6th; ISoLA (Symposium), 5th
• Contents: Processes and data integration in the networked healthcare.- Process-oriented geoinformation systems and applications.- Automata learning in practice.- ISoLA 2014 Doctoral Symposium.
• Publisher Details: Cham : Springer
• Publication Date: 2016
• Copyright Date: 2016
• Extent: 1 online resource (157 pages)
• Subjects: 005.1; Computer science; Formal methods (Computer science) -- Congresses; Computer software -- Verification -- Congresses; Computer software -- Validation -- Congresses; Computers -- Programming -- General; Mathematics -- Logic; Computers -- Database Management -- General; Computers -- Computer Simulation; Computers -- Machine Theory; Computer programming / software development; Mathematical theory of computation; Databases; 3D graphics & modelling; User interface design & usability; Software engineering; Logic design; Database management; Computer simulation; Computers -- Software Development & Engineering -- General; Software Engineering
• Languages: English
• ISBNs: 9783319516417
• Related ISBNs: 9783319516400
• 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.