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

Formal Methods Teaching
EISBN：9783031713798
PISBN：9783031713781
出版社：Springer Nature
出版时间：2024
作者：Emil Sekerinski,Leila Ribeiro
主题词：BISAC Category: Mathematics,Logic,Computers,Artificial Intelligence,General,Computers,Speech & Audio Processing,Computers,Business & Productivity Software,General,Computers,Software Development & Engineering,General,Computers,Hardware,General
学科：TP ( T 工业技术,TP 自动化技术、计算机技术 )
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Teaching Formal Methods
  • 作者：Jeremy Gibbons,José Nuno Oliveira
  • EISBN：9783642049125
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2009
...

Formal Methods Teaching
  • 作者：Catherine Dubois,Pierluigi San Pietro
  • EISBN：9783031275340
  • 出版社：Springer Nature
  • 出版时间：2023
...

Teaching Formal Methods
  • 作者：C. Neville Dean,Raymond T. Boute
  • EISBN：9783540304722
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2004
...

Teaching Formal Methods
  • 作者：C. Neville Dean,Raymond T. Boute
  • EISBN：9783540304722
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2004
...

Formal Methods Teaching
  • 作者：Brijesh Dongol,Luigia Petre,Graeme Smith
  • EISBN：9783030324414
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

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