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

Theory and Formal Methods 1993
EISBN：9781447135036
PISBN：9783540198420
出版社：Springer London
出版类型：Proceedings
出版时间：1993
作者：Geoffrey Burn,Simon Gay,Mark Ryan
主题词：Mathematical Logic and Formal Languages,Software Engineering
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Workshops in Computing
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Theory and Formal Methods 1993
  • 作者：Geoffrey Burn,Simon Gay,Mark Ryan
  • EISBN：9781447135036
  • 出版社：Springer London
  • 出版时间：1993
...

Theory and Practice of Formal Methods
  • 作者：Erika Ábrahám,Marcello Bonsangue,Einar Broch Johnsen
  • EISBN：9783319307343
  • 出版社：Springer International Publishing
  • 出版时间：2016
...

Formal Methods
  • 作者：Marsha Chechik,Joost-Pieter Katoen,Martin Leucker
  • EISBN：9783031274817
  • 出版社：Springer Nature
  • 出版时间：2023
...

Formal Methods
  • 作者：Flemming Nielson,Hanne Riis Nielson
  • EISBN：9783030051563
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Formal Methods
  • 作者：Klaus Havelund,Jan Peleska,Bill Roscoe,Erik de Vink
  • EISBN：9783319955827
  • 出版社：Springer International Publishing
  • 出版时间：2018
...

Application and Theory of Petri Nets 1993
  • 作者：Marco Ajmone Marsan
  • EISBN：9783540477594
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1993