登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
EISBN：9783031660214
PISBN：9783031660207
出版社：Springer Nature
出版时间：2024
作者：Alessandro Aldini
主题词：Computer Science
学科：TP31 ( T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术,TP31 计算机软件 )
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
  • 作者：Paolo Masci,Cinzia Bernardeschi,Pierluigi Graziani,Mario Koddenbrock,Maurizio Palmieri
  • EISBN：9783031262364
  • 出版社：Springer Nature
  • 出版时间：2023
...

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
  • 作者：Antonio Cerone;Marco Autili;Alessio Bucaioni;Cláudio Gomes;Pierluigi Graziani;Maurizio Palmieri;Marco Temperini;Gentiane Venture
  • EISBN：9783031124297
  • 出版社：Springer Nature
  • 出版时间：2022
...

Formal Methods. FM 2019 International Workshops
  • 作者：Emil Sekerinski,Nelma Moreira,José N. Oliveira,Daniel Ratiu,Riccardo Guidotti,Marie Farrell,Matt Luckcuck,Diego Marmsoler,José Campos,Troy Astarte,Laure Gonnord,Antonio Cerone,Luis Couto,Brijesh Dongol,Martin Kutrib,Pedro Monteiro,David Delmas
  • EISBN：9783030549947
  • 出版社：Springer International Publishing
  • 出版时间：2020
...

Formal Methods. FM 2019 International Workshops
  • 作者：Emil Sekerinski,Nelma Moreira,José N. Oliveira,Daniel Ratiu,Riccardo Guidotti,Marie Farrell,Matt Luckcuck,Diego Marmsoler,José Campos,Troy Astarte,Laure Gonnord,Antonio Cerone,Luis Couto,Brijesh Dongol,Martin Kutrib,Pedro Monteiro,David Delmas
  • EISBN：9783030549978
  • 出版社：Springer International Publishing
  • 出版时间：2020
...

Software Engineering and Formal Methods
  • 作者：Alessandro Cimatti,Marjan Sirjani
  • EISBN：9783319661971
  • 出版社：Springer International Publishing
  • 出版时间：2017
...

Formal Methods and Software Engineering
  • 作者：Kung-Kiu Lau,Richard Banach
  • EISBN：9783540322504
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2005