Formal methods teaching : third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /: third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. (2019)

• Record Type: Book
• Other Titles: FMTea 2019
• Further Information: Note: Brijesh Dongol, Luigia Petre, Graeme Smith (eds.).
• Editors: Dongol, Brijesh; Petre, Luigia, 1974-; Smith, Graeme, 1966-
• Other Names: FMTea (Workshop), 3rd; International Symposium of Formal Methods Europe, 3rd
• Contents: Tutorial lectures.- Teaching Program Verification.- Teaching Program Development.- Effective Teaching Techniques.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xvi, 245 pages), illustrations (some color)
• Subjects: 004.1/51; Formal methods (Computer science) -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030324414; 3030324419
• Related ISBNs: 9783030324407
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed September 27, 2019).
• 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.