Fundamental approaches to software engineering : 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2007.
|
| Series: | Lecture notes in computer science
v. 4422 LNCS ; v. 4422 |
| Subjects: | |
| Online Access: | Unedited summary from book Table of contents only Publisher description |
MARC
| LEADER | 00000nam a22000007a 4500 | ||
|---|---|---|---|
| 001 | 14723694 | ||
| 003 | AR_CdUFM | ||
| 005 | 20160908124453.0 | ||
| 008 | 070205s2007 gw a b 101 0 eng | ||
| 020 | |a 3540712887 | ||
| 040 | |a DLC |c DLC |d DLC |d AR_CdUFM | ||
| 111 | 2 | |a FASE 2007 |n (10º : |d 2007 : |c Braga, Portugal) | |
| 245 | 1 | 0 | |a Fundamental approaches to software engineering : |b 10th international conference, FASE 2007, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / |c Matthew B. Dwyer, Antónia Lopes. |
| 260 | |a Berlin ; |a New York : |b Springer, |c 2007. | ||
| 300 | |a xv, 440 p. : |b il. ; |c 24 cm. | ||
| 490 | 0 | |a Lecture notes in computer science |v v. 4422 | |
| 490 | 0 | |a LNCS ; |v v. 4422 | |
| 504 | |a Incluye referencias bibliográficas e índice. | ||
| 541 | |a Importación de Publicaciones |c Subsidio Secyt-UNC 2010-Gramaglia Hector |d 2010-09-06 |o Libro |e 20638 | ||
| 650 | 4 | |a Ingeniería de software. | |
| 650 | 4 | |a Lógica y significado de programas. | |
| 650 | 4 | |a Lenguajes de programación. | |
| 650 | 4 | |a Software engineering. | |
| 650 | 4 | |a Logics and meanings of programs. | |
| 650 | 4 | |a Programming languages. | |
| 700 | 1 | |9 4598 |a Dwyer, Matthew B., |d 1963- |e ed. | |
| 700 | 1 | |9 10349 |a Lopes, Antónia, |e ed. | |
| 856 | 4 | 1 | |3 Unedited summary from book |u http://www.loc.gov/catdir/summary/eng0701/2007922338.html |
| 856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/toc/fy0710/2007922338.html |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0826/2007922338-d.html |
| 942 | |c LIBRO |2 | ||
| 945 | |a MCR |d 2012-03-08 | ||
| 952 | |0 0 |1 0 |4 0 |6 C_LNCS_V__4422_000000000000000 |7 0 |9 19871 |a MMA |b MMA |c LN |d 2010-09-06 |e Subsidio Secyt-UNC 2010-Gramaglia Hector: Importación de Publicaciones |l 0 |o C LNCS v. 4422 |p 20638 |r 2010-09-06 00:00:00 |w 2010-09-06 |y LIBRO | ||
| 955 | |a pc17 2007-02-05 |a jf00 2007-05-01 |i jf09 2007-05-01 to sl | ||
| 999 | |c 15596 |d 15595 | ||