Cover of Theoretical Aspects of Computing - ICTAC 2009

An edition of Theoretical Aspects of Computing - ICTAC 2009 (2009)

Theoretical Aspects of Computing - ICTAC 2009

6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

By Martin Leucker

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

2009

Publisher

Springer Berlin Heidelberg

Language

eng

Pages

-

Description:

subjects: Data processing, Computer science, Software engineering, Algebra, Information theory, Computer software, Electronic data processing, Congresses, Model Checking, Kongress, Nebenläufigkeit, Softwareentwicklung, Entwurfsmuster, Formale Methode, Systementwicklung, Theoretische Informatik