Process Algebra : J.C.M. Baeten, T. Basten, M.A. Reniers.
Material type: TextSeries: Publication details: Cambridge New York Cambridge University Press, 2010Description: xvi, 460 p. ill. ; M, HBKISBN: 9780521820493 (hbk.); 0521820499 (hbk.)Subject(s): Mathematics | Electronic data processingDDC classification: 512.5Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books |
GIFT University, Library
GIFT University, Library |
512.5 BAE-P (Browse shelf(Opens below)) | Available | 20441 |
Browsing GIFT University, Library shelves, Shelving location: Mathematics Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | ||||||
512.42 SAF-P Precalculus Safier | 512.42 STE-P Precalculus: Mathematics for Calculus James Stewart | 512.42 SUL-P Precalculus Sullivan | 512.5 BAE-P Process Algebra : | 512.5 FAR-N New Directions: Efficiency and Productivity | 512.5 LAR-E Elementary linear algebra | 512.5 POO-L Linear Algebra : A Modern Introduction |
Includes bibliographical references and indexes.
English
There are no comments on this title.