Ebók

Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

Springer Nature

Prísur

374,95 kr.

Vørulýsing av

Software Engineering and Formal Methods

Finn líknandi bøkur her

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 2020 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.