close
1.

電子ブック
ＥＢ
1. Advanced Lectures on Software Engineering
Peter Müller, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Fine-Grain Concurrency / Tony Hoare
Compensable Transactions
SCOOP-A Contract-Based Concurrent Object-Oriented Programming Model / Benjamin Morandi ; Sebastian S. Bauer ; Bertrand Meyer
Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs / K. Rustan M. Leino ; Peter Müller
Fixpoints and Search in PVS / Natarajan Shankar
Multi Core Design for Chip Level Multiprocessing / Tryggve Fossum
Author Index
Fine-Grain Concurrency / Tony Hoare
Compensable Transactions
SCOOP-A Contract-Based Concurrent Object-Oriented Programming Model / Benjamin Morandi ; Sebastian S. Bauer ; Bertrand Meyer
2.

電子ブック
ＥＢ
2. Verified Software: Theories, Tools, Experiments
David Hutchison, Takeo Kanade, Peter Müller, Andreas Podelski
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼