Jordanian Union Catalogue

Search Libraries Catalogue

Search

Options

Refine

Start Over

Show details

Duplicate Items

Add to My List

Print

Sorts and Limits

Sorts:

Title: Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings / edited by Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock.
Lecture Notes in Computer Science,
Lecture notes in computer science,
Author: Cavalcanti, Ana.
Deharbe, David.
Gaudel, Marie-Claude.
Woodcock, Jim.
SpringerLink (Online service)
General Notes: This book constitutes the refereed proceedings of the 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 held in Natal, Brazil, in September 2010. The 23 revised full papers presented with 2 invited papers and the abstract of 1 invited talk were carefully reviewed and selected from 68 submissions. The papers address all theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types.

Publisher: Springer Berlin Heidelberg,
Publication Place: Berlin, Heidelberg :
ISBN: 9783642148088
Subject: Computer science.
Computer science.
Computation by Abstract Devices.
Series: Lecture Notes in Computer Science, 6255
Lecture notes in computer science, 6255
Physical Description: XIII, 397p. 60 illus. digital.

Electronic Location: http://dx.doi.org/10.1007/978-3-642-14808-8

Publication Date: 2010.

	Agency:	Collection:	Call No.:	Item Type:	Status:	Barcode:	Media Type:
	JUST Main Library	Electronic Resources	QA75.5-76.95	No Circulation	Available Online	-579647	Book