Formal Methods: Foundations and ApplicationsMarius Minea, Sergio CamposPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Engineering Modeling LanguagesBenoit Combemale, Bernhard Rumpe og 4 andreInnbundetEngelskDel av serien Chapman & Hall/CRC Innovations in Software Engineering and Software Development SeriesLegg i handlekurvNettlager
Integrated Formal MethodsLaura Kovacs, Nikolai KosmatovPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Situational Method EngineeringBrian Henderson-Sellers, Par J. Agerfalk og 2 andreInnbundetEngelskLegg i handlekurvNettlager
Modelling Foundations and ApplicationsAnthony Anjorin, Huascar EspinozaPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Evidence-Based Software Engineering and Systematic ReviewsBarbara Ann Kitchenham, David Budgen og 1 annenInnbundetEngelskDel av serien Chapman & Hall/CRC Innovations in Software Engineering and Software Development SeriesLegg i handlekurvNettlager
Evidence-Based Software Engineering and Systematic ReviewsBarbara Ann Kitchenham, David Budgen og 1 annenPocketEngelskDel av serien Chapman & Hall/CRC Innovations in Software Engineering and Software Development SeriesLegg i handlekurvNettlager
NASA Formal MethodsOksana Tkachuk, Sanjai RayadurgamPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Composing Model-Based Analysis ToolsCarolyn Talcott, Steffen Zschaler og 2 andreInnbundetEngelskLegg i handlekurvNettlager
Factorization of Measurable Matrix FunctionsG. S. Litvinchuk, I. M. Spitkovskii og 1 annenInnbundetEngelskDel av serien Mathematical ResearchLegg i handlekurvNettlager
Continual Means and Boundary Value Problems in Function SpacesE. M. PolishchukInnbundetEngelskDel av serien Mathematical ResearchLegg i handlekurvNettlager
Systems Analysis and Simulation 1988, I: Theory and Foundations. Proceedings of the International Symposium held in Berlin (GDR), September 12–16, 1988Achim Sydow, Spyros G. Tzafestas og 1 annenInnbundetEngelskDel av serien Mathematical ResearchLegg i handlekurvNettlager
Andreotti-Grauert Theory by Integral FormulasG. M. Henkin, J. LeitererInnbundetEngelskDel av serien Mathematical ResearchLegg i handlekurvNettlager
Advances in Mathematical OptimizationJ. Guddat et al.InnbundetEngelskDel av serien Mathematical ResearchLegg i handlekurvNettlager
Inverse and Improperly Posed Problems in Differential EquationsG. AngerInnbundetEngelskDel av serien Mathematical ResearchLegg i handlekurvNettlager
Multivariable ControlK. J. ReinschkeInnbundetEngelskDel av serien Mathematical ResearchLegg i handlekurvNettlager
Systems Analysis and Simulation 1988, IIA. Sydow, S. G. Tzafestas og 1 annenInnbundetEngelskDel av serien Mathematical ResearchLegg i handlekurvNettlager
Andreotti-Grauert Theory by Integral FormulasG. M. Henkin, J. LeitererInnbundetEngelskDel av serien Mathematical ResearchLegg i handlekurvNettlager
Structural Induction on Partial Algebras, IIH. ReichelInnbundetEngelskDel av serien Mathematical ResearchLegg i handlekurvNettlager