close
1.

電子ブック

EB
Peter Müller, Takeo Kanade
出版情報: Springer eBooks Computer Science , 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.

電子ブック

EB
Peter Müller
出版情報: SpringerLink Books Mathematics And Statistics Without Lecture Notes 2015 , Springer International Publishing, 2015
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼