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

Formal Methods: Applications and Technology
EISBN：9783540709527
PISBN：9783540709510
出版社：Springer Berlin Heidelberg
出版类型：Proceedings
出版时间：2007
作者：Luboš Brim,Boudewijn Haverkort,Martin Leucker,Jaco Pol
主题词：Software Engineering,Logics and Meanings of Programs,Programming Languages,Compilers,Interpreters,Special Purpose and Application-Based Systems
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Methods and Object Technology
  • 作者：Stephen J. Goldsack,Stuart J.H. Kent
  • EISBN：9781447130710
  • 出版社：Springer London
  • 出版时间：1996
...

Formal Methods and Object Technology
  • 作者：S. J. Goldsack,S. J. H. Kent
  • EISBN：9781447130710
  • 出版社：Springer London
  • 出版时间：1996
...

Formal Methods in Programming and Their Applications
  • 作者：Dines Bjørner,Manfred Broy,Igor V. Pottosin
  • EISBN：9783540480563
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1993
...

Formal Methods: Foundations and Applications
  • 作者：Leila Ribeiro,Thierry Lecomte
  • EISBN：9783319498157
  • 出版社：Springer International Publishing
  • 出版时间：2016
...

Formal Methods: Foundations and Applications
  • 作者：Christiano Braga,Narciso Martí-Oliet
  • EISBN：9783319150758
  • 出版社：Springer International Publishing
  • 出版时间：2015
...

Formal Methods, Foundations and Applications
  • 作者：Adenilso Simao,Carroll Morgan
  • EISBN：9783642250323
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2011