From Software Engineering to Formal Methods and Tools, and Back

EISBN：9783030309855

PISBN：9783030309848

出版社：Springer International Publishing

出版类型：Commemorative publication

出版时间：2019

版次：1st ed. 2019

作者：Maurice H. ter Beek,Alessandro Fantechi,Laura Semini

主题词：Computer Science,Software Engineering,Programming Languages,Compilers,Interpreters,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Logics and Meanings of Programs

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Lecture Notes in Computer Science

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Formal Methods and Software Engineering

作者：Jing Sun,Meng Sun
EISBN：9783030024505
出版社：Springer International Publishing
出版时间：2018

Software Engineering and Formal Methods

作者：Gilles Barthe,Alberto Pardo,Gerardo Schneider
EISBN：9783642246906
出版社：Springer Berlin Heidelberg
出版时间：2011

Software Engineering and Formal Methods

作者：Javier Camara,Martin Steffen
EISBN：9783030575069
出版社：Springer International Publishing
出版时间：2020

Formal Methods and Software Engineering

作者：Lindsay Groves,Jing Sun
EISBN：9783642412028
出版社：Springer Berlin Heidelberg
出版时间：2013

Formal Foundations for Software Engineering Methods

作者：Heinrich Hußmann
EISBN：9783540696100
出版社：Springer Berlin Heidelberg
出版时间：1997

Software Engineering and Formal Methods

作者：Carla Ferreira,Tim A. C. Willemse
EISBN：9783031471155
出版社：Springer Nature
出版时间：2023