Software Security — Theories and Systems

EISBN：9783540365327

PISBN：9783540007081

出版社：Springer Berlin Heidelberg

出版类型：Proceedings

出版时间：2003

作者：Mitsuhiro Okada,Benjamin C. Pierce,Andre Scedrov,Hideyuki Tokuda,Akinori Yonezawa

主题词：Operating Systems,Computer Communication Networks,Programming Languages,Compilers,Interpreters,Data Encryption,Logics and Meanings of Programs,Management of Computing and Information Systems

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Lecture Notes in Computer Science

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Software Security -- Theories and Systems

作者：Mitsuhiro Okada,Benjamin Pierce,Andre Scedrov,Hideyuki Tokuda,Akinori Yonezawa
EISBN：9783540365327
出版社：Springer Berlin Heidelberg
出版时间：2003

Software Security - Theories and Systems

作者：Kokichi Futatsugi,Fumio Mizoguchi,Naoki Yonezaki
EISBN：9783540376217
出版社：Springer Berlin Heidelberg
出版时间：2004

Software Security - Theories and Systems

作者：Kokichi Futatsugi,Fumio Mizoguchi,Naoki Yonezaki
EISBN：9783540376217
出版社：Springer Berlin Heidelberg
出版时间：2004

Engineering Theories of Software Intensive Systems

作者：Manfred Broy,Johannes Grünbauer,David Harel,Tony Hoare
EISBN：9781402035326
出版社：Springer Netherlands
出版时间：2005

Security and Safety Interplay of Intelligent Software Systems

作者：Brahim Hamid,Barbara Gallina,Asaf Shabtai,Yuval Elovici,Joaquin Garcia-Alfaro
EISBN：9783030168742
出版社：Springer International Publishing
出版时间：2019

Verified Software: Theories, Tools, Experiments

作者：Rajeev Joshi,Peter Müller,Andreas Podelski
EISBN：9783642277054
出版社：Springer Berlin Heidelberg
出版时间：2012