Formal Methods for Model-Driven Engineering

EISBN：9783642309823

PISBN：9783642309816

出版社：Springer Berlin Heidelberg

出版类型：Contributed volume

出版时间：2012

作者：Marco Bernardo,Vittorio Cortellessa,Alfonso Pierantonio

主题词：Software Engineering,Software Engineering/Programming and Operating Systems,Mathematical Logic and Formal Languages,Programming Languages,Compilers,Interpreters,Information Systems Applications (incl.Internet),Management of Computing and Information Systems

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Lecture Notes in Artificial Intelligence

2浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Model-Driven Engineering and Software Development

作者：Francisco José Domínguez Mayo,Luís Ferreira Pires,Edwin Seidewitz
EISBN：9783031663390
出版社：Springer Nature
出版时间：2024

Model-Driven Engineering and Software Development

作者：Philippe Desfray,Joaquim Filipe,Slimane Hammoudi,Luís Ferreira Pires
EISBN：9783319278698
出版社：Springer International Publishing
出版时间：2015

Model-Driven Engineering and Software Development

作者：Luís Ferreira Pires,Slimane Hammoudi,Edwin Seidewitz
EISBN：9783031388217
出版社：Springer Nature
出版时间：2023

Model-Driven Engineering and Software Development

作者：Slimane Hammoudi,Luís Ferreira Pires,Bran Selić
EISBN：9783030378738
出版社：Springer International Publishing
出版时间：2020

Graph Transformations and Model-Driven Engineering

作者：Gregor Engels,Claus Lewerentz,Wilhelm Schäfer,Andy Schürr,Bernhard Westfechtel
EISBN：9783642173226
出版社：Springer Berlin Heidelberg
出版时间：2010

Model-Driven Engineering and Software Development

作者：Slimane Hammoudi,Luís Ferreira Pires,Bran Selic
EISBN：9783030110307
出版社：Springer International Publishing
出版时间：2019