Penulis: Cormac Flanagan

Dukung

1 Ebooks oleh Cormac Flanagan

Cormac Flanagan & Barbara Konig: Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Confere …
PDF
Inggris
DRM
€57.85