Lectures on computer science. Vol. 3: Computability, formal languages, specifications

zbMath0879.68033MaRDI QIDQ1360183

Gerhard Goos

Publication date: 16 July 1997

Published in: Springer-Lehrbuch (Search for Journal in Brave)

zbMATH Keywords

complexityspecificationcomputabilityNP completeness

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) General topics in the theory of software (68N01) Distributed algorithms (68W15)

This page was built for publication: Lectures on computer science. Vol. 3: Computability, formal languages, specifications