Normal view MARC view ISBD view

Formal Methods: foundations and applications

Iyoda, Juliano

Formal Methods: foundations and applications - 1st ed. 2013. - 242p. - Programming and Software Engineering ; .

ISBN: 9783642410703

Subjects--Topical Terms:
Software engineering.
Programming languages (Electronic computers).
Computer programming.
Computer logic.
Mathematical logic.
Algorithms.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.

Dewey Class. No.: 004.2CLA

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

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