Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Software Engineering and Formal Methods

Antonio Cerone; Frank S. de Boer

414,95 kr.

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

749,95 kr.

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

374,95 kr.

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

549,95 kr.

Formal Methods and Software Engineering

374,95 kr.

Unifying Theories of Programming and Formal Engineering Methods

374,95 kr.

Formal Methods for Model-Driven Engineering

Author

374,95 kr.

Web Services and Formal Methods

Roberto Bruni; Karsten Wolf

374,95 kr.

Theories of Programming and Formal Methods

374,95 kr.

Leveraging Applications of Formal Methods, Verification, and Validation

Reiner Hähnle; ‎Jens Knoop; ‎Tiziana Margaria

224,95 kr.

Web Services, Formal Methods, and Behavioral Types

299,95 kr.

Formal Methods for Software Architectures

Marco Bernardo; ‎Paola Inverardi

374,95 kr.