Time for Verification
-
- US$99.99
-
- US$99.99
출판사 설명
This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span the breadth of Pnueli’s scientific work, with a focus on the development and the application of formal methods.
장르
컴퓨터 및 인터넷
출시일
2010년
6월 30일
언어
EN
영어
길이
421
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
9.1
MB
CONCUR 2011 -- Concurrency Theory
2011년
Foundations of Software Science and Computational Structures
2009년
Reachability Problems
2011년
Theoretical Aspects of Computing – ICTAC 2022
2022년
Automated Technology for Verification and Analysis
2009년
SOFSEM 2009: Theory and Practice of Computer Science
2009년