Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM, Bertinoro, Italy, June 21-26, 2010 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) | LNCS Sublibrary : SL 2 – Programming and Software EngineeringPublication details: Berlin Springer 2010ISBN: 978-3-642-13678-8Subject(s): Computer Science and Engineering | Formal methods (Computer science) -- Congresses | Programming languages (Electronic computers) -- Congresses | Monoclonal antibodies -- CongressesOnline resources: Click here to access online| Item type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
E-Books
|
Central Library, IITB Online | Link to resource | Online | EBK240 |
Total holds: 0
There are no comments on this title.