Foundations of Software Science and Computational Structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings /

Foundations of Software Science and Computational Structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings /

Show other versions (4)
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Seidl, Helmut (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
Edition:First edition 2007
Series:Computer Science (Springer-11645)
LNCS sublibrary Theoretical computer science and general issues ; 4423.
Subjects:
Computer logic
Computers
Logic, Symbolic and mathematical
Programming languages (Electronic computers)
Software engineering
Software Engineering/Programming and Operating Systems
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Theory of Computation

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items