Leveraging Applications of Formal Methods, Verification and Validation. Application AreasBernhard Steffen, Tiziana MargariaPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Leveraging Applications of Formal Methods, Verification and Validation: ApplicationsBernhard Steffen, Tiziana MargariaPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Leveraging Applications of Formal Methods, Verification and Validation: Verification PrinciplesBernhard Steffen, Tiziana MargariaPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Leveraging Applications of Formal Methods, Verification and Validation: Engineering PrinciplesBernhard Steffen, Tiziana MargariaPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Methods and Algorithms in NavigationAdam Weintrit, Tomasz NeumannInnbundetEngelskLegg i handlekurvNettlager
Leveraging Applications of Formal Methods, Verification and Validation. Verification PrinciplesBernhard Steffen, Tiziana MargariaPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering MethodologiesBernhard Steffen, Tiziana MargariaPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive SystemsBernhard Steffen, Tiziana MargariaPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Runtime VerificationGiles Reger, Shuvendu LahiriPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Software ComplexityHorst ZuseInnbundetEngelskDel av serien Programmierung Komplexer Systeme / Programming Complex SystemsLegg i handlekurvNettlager