Leveraging applications of formal methods, verification and validation : Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings. Part III

Leveraging applications of formal methods, verification and validation : Part III / Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings. Tiziana Margaria, Bernhard Steffen (eds.).

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the C...

Full description

Saved in:
Bibliographic Details
Corporate Author: ISoLA (Symposium) Online)
Other Authors: Margaria-Steffen, Tiziana, 1964- (Editor), Steffen, Bernhard (Editor)
Format: eBook
Language:English
Published: Cham : Springer, 2020.
Series:LNCS sublibrary. Theoretical computer science and general issues ; 12478.
Lecture notes in computer science ; 12478.
LNCS sublibrary. Theoretical computer science and general issues.
Subjects:
Formal methods (Computer science) > Congresses.
Computer software > Verification > Congresses.
Software engineering > Congresses.
Software engineering.
Logic, Symbolic and mathematical.
Artificial intelligence.
Computers, Special purpose.
Computer architecture.
artificial intelligence.
Formal methods (Computer science)
Computer software > Verification
Artificial intelligence
Computer architecture
Computers, Special purpose
Logic, Symbolic and mathematical
Software engineering
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access
Login for hold information

‌

Click for online access

Online

Holdings details from Online
Status: Available

Similar Items