Foundations of Software Science and Computational Structures (vol. # 3921) 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn

Foundations of Software Science and Computational Structures (vol. # 3921) 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn

Bibliographic Details
Published in:Springer e-books
Main Author: Aceto, Luca
Corporate Author: SpringerLink (Online service)
Other Authors: Ingólfsdóttir, Anna
Format: eBook
Language:English
Published: Berlin Heidelberg : Springer-Verlag GmbH., 2006
Series:Lecture Notes in Computer Science,
Subjects:
Computer Science
Computer science
Logic design
Software engineering
Computation by Abstract Devices
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Online Access:http://dx.doi.org/10.1007/11690634
Перейти в каталог НБ ТГУ
Description
ISBN:9783540330462
ISSN:0302-9743 ;

Similar Items