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

Formal Methods for an Informal World
EISBN：9783031436789
PISBN：9783031436772
出版社：Springer Nature
出版时间：2023
作者：Antonio Cerone
主题词：BISAC Category: Computers,Software Development & Engineering,General,Computers,Programming,General
学科：Computer Science
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal and Informal Approaches to Food Policy
  • 作者：William Aspray,George Royer,Melissa G. Ocepek
  • EISBN：9783319049663
  • 出版社：Springer International Publishing
  • 出版时间：2014
...

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

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
...

Using Network and Mobile Technology to Bridge formal and Informal Learning
  • 作者：Trentin,Guglielmo
  • PISBN：9781843346999
  • 出版时间：2013
...

Integrated Formal Methods
  • 作者：Maurice H. ter Beek;Rosemary Monahan
  • EISBN：9783031077272
  • 出版社：Springer Nature
  • 出版时间：2022