Image from Amazon.com
Tests and proofs [electronic resource] : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings / edited by Gordon Fraser, Angelo Gargantini.
Series: Lecture notes in computer science ; 6143Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.Description: x, 182 p. : ill., digital ; 24 cmISBN:- 9783642139772 (electronic bk.)
- 9783642139765 (paper)
- Computer software -- Testing -- Congresses
- Computer software -- Verification -- Congresses
- Formal methods (Computer science) -- Congresses
- Programming Techniques
- Software Engineering
- Algorithm Analysis and Problem Complexity
- Mathematical Logic and Formal Languages
- Logics and Meanings of Programs
- Programming Languages, Compilers, Interpreters
- Computer Science
- 005.14 22
- QA76.76.T48 T37 2010
| Item type | Current library | Home library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|---|
| AM | PERPUSTAKAAN TUN SERI LANANG | PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) | - | ebook (Browse shelf(Opens below)) | 1 | Available |
There are no comments on this title.
Log in to your account to post a comment.