Normal view MARC view ISBD view

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /

Bollig, Benedikt.

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic / [electronic resource] : by Benedikt Bollig. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - ix, 181 p. : ill., digital ; 24 cm.

ISBN: 9783540329237 (electronic bk.)

Subjects--Topical Terms:
Electronic data processing--Distributed processing.
Multitasking (Computer science)
Computer Science.
Software Engineering.
Theory of Computation.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Information Systems and Communication Service.

LC Class. No.: QA76.9.D5 / B65 2006

Dewey Class. No.: 004

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /

Contact Us

Copyright ©The National University of Malaysia Library