Modelling Foundations and ApplicationsAnthony Anjorin, Huascar EspinozaPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Reference Architectures for Critical DomainsOliveira Antonino Pablo Oliveira Antonino, Nakagawa Elisa Yumi NakagawaPocketEngelskLegg i handlekurvNettlager
Handbook Of Software Aging And Rejuvenation: Fundamentals, Methods, Applications, And Future DirectionsAlberto Avritzer, Tadashi Dohi og 1 annenInnbundetEngelskLegg i handlekurvNettlager
Reference Architectures for Critical DomainsElisa Yumi Nakagawa, Pablo Oliveira AntoninoPocketEngelskLegg i handlekurvNettlager
Leveraging Applications of Formal Methods, Verification and Validation: Tools and TrendsBernhard Steffen, Tiziana MargariaPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Model-Driven Architecture in PracticeJuan Carlos Molina, Oscar PastorInnbundetEngelskLegg i handlekurvNettlager
Runtime VerificationDana Fisman, Lu FengPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Software Application DevelopmentBud Fox Ph.D., Tan May Ling M.Sc. og 1 annenInnbundetEngelskDel av serien Chapman & Hall/CRC Computer and Information Science SeriesLegg i handlekurvNettlager
Runtime VerificationThao Dang, Volker StolzPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Theoretical Aspects of Software EngineeringWei-Ngan Chin, Zhiwu XuPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Software Testing for Conventional and Logic ProgrammingOliver JackInnbundetEngelskDel av serien Programmierung Komplexer Systeme / Programming Complex SystemsLegg i handlekurvNettlager
Logic/Object-Oriented Concurrent Robot Programming and Performance AspectsAlfried PollmannInnbundetEngelskDel av serien Programmierung Komplexer Systeme / Programming Complex SystemsLegg i handlekurvNettlager