Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures /

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic. The school addre...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Cerone, Antonio (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 13490
Subjects:	Software engineering. Computer science. Programming languages (Electronic computers). Software Engineering. Computer Science Logic and Foundations of Programming. Programming Language.
Online Access:	https://doi.org/10.1007/978-3-031-43678-9
Tags:	Add Tag No Tags, Be the first to tag this record!