Leveraging Applications of Formal Methods Verification and Validation. Specification and Verification

Kjøp på nett

På lager

Frakt og levering

Sammenligning av produkter

Her finner du de fire mest populære produktene i denne kategorien i en lignende prisklasse som det du ser på nå.

Mastering Computer Vision with PyTorch and Machine Learning

949,-

Digital Human Modeling and Applications in Health Safety Ergonomics and Risk Management. Anthropometry Human Behavior and Communication

949,-

Leveraging Applications of Formal Methods Verification and Validation. Specification and Verification

869,-

C# Programming for Absolute Beginners

749,-

Running Microsoft Workloads on AWS

749,-

Produktinformasjon

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

Spesifikasjon

Produkt

Produktnavn	Leveraging Applications of Formal Methods Verification and Validation. Specification and Verification
book typ	boker, fagboker, data og informasjonsteknologi

Pris og prishistorikk

Akkurat nå er 869,- den billigste prisen for Leveraging Applications of Formal Methods Verification and Validation. Specification and Verification blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste bøker for å være sikker på at du gjør det beste kjøpet.