Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / Carlos Areces, Diana Costa, editors.

Saved in:

Bibliographic Details
Corporate Author:	DaLí (International Workshop) Online)
Other Authors:	Areces, Carlos (Editor), Costa, Diana (Editor)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2023.
Series:	Lecture notes in computer science ; 13780.
Subjects:	Computer logic > Congresses. Software engineering > Congresses. Computer networks > Congresses. Computer logic Computer networks Software engineering proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access

Click for online access

Holdings details from Online
	Available

Similar Items