Dwyer, Matthew B.

Fundamental Approaches to Software Engineering 10th International Conference, FASE 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 / [electronic resource] : edited by Matthew B. Dwyer, Antónia Lopes. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4422 0302-9743 ; .

9783540712893


Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters

QA76.758 / D89 2007