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

Guide to Software Verification with Frama-C
EISBN：9783031556081
PISBN：9783031556074
出版社：Springer Nature
出版时间：2024
作者：Nikolai Kosmatov,Virgile Prevosto,Julien Signoles
主题词：BISAC Category: Computers,Software Development & Engineering,Quality Assurance & Testing,Mathematics,Counting & Numeration,Computers,Information Theory,Computers,Languages,General,Mathematics,Numerical Analysis
学科：TP31 ( T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术,TP31 计算机软件 )
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Computer Science Foundations and Applied Logic
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Concise Guide to Software Verification
  • 作者：Marieke Huisman,Anton Wijs
  • EISBN：9783031301674
  • 出版社：Springer Nature
  • 出版时间：2023
...

Software Verification
  • 作者：Maria Christakis,Nadia Polikarpova,Parasara Sridhar Duggirala,Peter Schrammel
  • EISBN：9783030636180
  • 出版社：Springer International Publishing
  • 出版时间：2020
...

Software Verification
  • 作者：Roderick Bloem;Rayna Dimitrova;Chuchu Fan;Natasha Sharygina
  • EISBN：9783030955618
  • 出版社：Springer Nature
  • 出版时间：2022
...

Systems and Software Verification
  • 作者：B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen
  • EISBN：9783662045589
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2001
...

Software Verification and Analysis
  • 作者：William Stanley,Janusz Laski
  • EISBN：9781848822405
  • 出版社：Springer London
  • 出版时间：2009
...

Systems and Software Verification
  • 作者：Béatrice Bérard,Michel Bidoit,Alain Finkel,François Laroussinie,Antoine Petit,Laure Petrucci,Philippe Schnoebelen,Pierre McKenzie
  • EISBN：9783662045589
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2001