Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / edited by Maurice H. ter Beek, Annabelle McIver, José N. Oliveira.

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selecte...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	ter Beek, Maurice H. (Editor), McIver, Annabelle (Editor), Oliveira, José N. (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Programming and Software Engineering ; 11800 Springer eBook Collection.
Subjects:	Software engineering. Programming languages (Electronic computers). Computer logic. Mathematical logic. Algorithms. Artificial intelligence. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

‌

Click to view e-book

Online

Holdings details from Online
Call Number:	E-Book
Status:	Available

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / edited by Maurice H. ter Beek, Annabelle McIver, José N. Oliveira.

‌

Online

Similar Items