Related Books

A Journey from Process Algebra via Timed Automata to Model Learning
Language: en
Pages: 593

A Journey from Process Algebra via Timed Automata to Model Learning

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

Formal Methods and Software Engineering

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

Formal Methods

Authors: André Platzer
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Foundations of Software Science and Computation Structures
Language: en
Pages: 575

Foundations of Software Science and Computation Structures

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

Logics and Type Systems in Theory and Practice

Authors: Venanzio Capretta
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK