Normal view MARC view ISBD view

Automata for branching and layered temporal structures an investigation into regularities of infinite transition systems /

Puppis, Gabriele.

Automata for branching and layered temporal structures an investigation into regularities of infinite transition systems / [electronic resource] : by Gabriele Puppis. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - x, 170 p. : ill., digital ; 24 cm. - Lecture notes in computer science, 5955 0302-9743 ; .

ISBN: 9783642118814 (electronic bk.) 9783642118807 (paper)

Subjects--Topical Terms:
Machine theory.
Computer Science.
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs.
Software Engineering.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Algorithm Analysis and Problem Complexity.

LC Class. No.: QA267 / .P87 2010

Dewey Class. No.: 004

Place hold
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)

Automata for branching and layered temporal structures an investigation into regularities of infinite transition systems /

Contact Us

Copyright ©The National University of Malaysia Library