Ebók

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Tiziana Margaria; Bernhard Steffen

Springer Nature

Prísur

639,95 kr.

Vørulýsing av

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Aðrar bøkur eftir sama høvund

Leveraging Applications of Formal Methods, Verification and Validation: Applications

Tiziana Margaria; Bernhard Steffen

374,95 kr.

Finn líknandi bøkur her

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

iziana Margaria; Bernhard Steffen

374,95 kr.

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

639,95 kr.

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Author

374,95 kr.

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria; ‎Bernhard Steffen

374,95 kr.

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

529,95 kr.

Leveraging Applications of Formal Methods, Verification and Validation. Practice

484,95 kr.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

529,95 kr.

Leveraging Applications of Formal Methods, Verification, and Validation

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

224,95 kr.

Leveraging the Semantics of Topic Maps

Lutz Maicher; ‎Alexander Sigel; ‎Lars Marius Garshol

374,95 kr.

Data-Driven Methods for Reliability and Safety Engineering: Applications in Industrial Systems

969,95 kr.

Generative AI-Driven Application Development with Java

Satej Kumar Sahu

279,95 kr.

Leveraging Educational Quality in Southe

324,95 kr.