Loading…

Runtime verification first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings /

Annotation

Saved in:

Bibliographic Details
Corporate Authors:	RV (Conference) San Ġiljan, Malta), SpringerLink (Online service)
Other Authors:	Barringer, Howard, 1951-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, 2010. Berlin : 2010.
Series:	Lecture notes in computer science ; 6418. LNCS sublibrary. Programming and software engineering.
Physical Description:	1 online resource (xiii, 492 pages) : illustrations.
Subjects:	Computer programs -- Verification -- Congresses. Formal methods (Computer science) -- Congresses. Computer programs -- Testing -- Congresses. computerwetenschappen. computer sciences. algoritmen. algorithms. computeranalyse. computer analysis. programmeertalen. programming languages. programmeren. programming. wiskunde. mathematics. logica. logic. software engineering. Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Online Access:	SpringerLink - Click here for access

Holdings details from CMU Electronic Access C502
Copy 1	CMU Electronic Access		Available

Internet

SpringerLink - Click here for access