Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Mossakowski, Till.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: Mossakowski, Till.; Kreowski, Hans-Jorg.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service) (Electronic resources)

Subjects

Theory of Computation. Computer science- Mathematics Mathematics of Computing. Computer Science. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Computer software- Development Computation by Abstract Devices.

Change password

Login