Theoretical aspects of computing : 6th international colloquium ; proceedings, ICTAC 2009, Kuala Lumpur, Malaysia, August 16 - 20, 2009 /

Bibliographic Details
Corporate Authors:	ICTAC (Colloquium) Kuala Lumpur, Malaysia), SpringerLink (Online service)
Other Authors:	Leucker, Martin, Morgan, Carroll, 1952-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; Heidelberg ; New York : Springer, [2009]
Series:	Lecture notes in computer science ; 5684.
Subjects:	Computer programming > Congresses. Computer science > Mathematics > Congresses. Formal methods (Computer science) > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online