Formal Methods. FM 2019 International Workshops

EISBN：9783030549947

PISBN：9783030549930

出版社：Springer International Publishing

出版类型：Proceedings

出版时间：2020

版次：1st ed. 2020

作者：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

主题词：Computer Science,Software Engineering,Special Purpose and Application-Based Systems,Theory of Computation,Computer System Implementation,Computer Applications

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Lecture Notes in Computer Science

3浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

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. 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 2023 Collocated Workshops

作者：Alessandro Aldini
EISBN：9783031660214
出版社：Springer Nature
出版时间：2024

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

FM 2008: Formal Methods

作者：Jorge Cuellar,Tom Maibaum,Kaisa Sere
EISBN：9783540682370
出版社：Springer Berlin Heidelberg
出版时间：2008

FM'99 - Formal Methods

作者：Jeannette M. Wing,Jim Woodcook,Jim Davies
EISBN：9783540481195
出版社：Springer Berlin Heidelberg
出版时间：1999