Related Books

A Journey from Process Algebra via Timed Automata to Model Learning
Language: en
Pages: 593
Authors: Nils Jansen
Categories: Computers
Type: BOOK - Published: 2022-09-06 - Publisher: Springer Nature

DOWNLOAD EBOOK

This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has
Formal Methods and Software Engineering
Language: en
Pages: 320
Authors: Yi Li
Categories: Computers
Type: BOOK - Published: 2023-11-09 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Austra
Formal Methods
Language: en
Pages: 692
Authors: André Platzer
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Foundations of Software Science and Computation Structures
Language: en
Pages: 575
Authors: Orna Kupferman
Categories: Computers
Type: BOOK - Published: 2023-04-20 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS
Logics and Type Systems in Theory and Practice
Language: en
Pages: 284
Authors: Venanzio Capretta
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK