Foundations of software science and computational structures : 0th 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 /
Corporate Authors: | , |
---|---|
Other Authors: | |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
2007.
|
Series: | Lecture notes in computer science ;
v. 4423 LNCS ; v. 4423 |
Subjects: | |
Online Access: | Table of contents only Publisher description |
MARC
LEADER | 00000nam a22000007a 4500 | ||
---|---|---|---|
001 | 14725793 | ||
003 | AR_CdUFM | ||
005 | 20160908124444.0 | ||
008 | 070206s2007 gw a b 101 0 eng | ||
020 | |a 9783540713883 | ||
040 | |a DLC |c AR_CdUFM |d AR_CdUFM | ||
111 | 2 | |a FOSSACS 2007 |n (10º : |d 2007 : |c Braga, Portugal) | |
245 | 1 | 0 | |a Foundations of software science and computational structures : |b 0th 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 / |c Helmut Seidl (ed.). |
260 | |a Berlin ; |a New York : |b Springer, |c 2007. | ||
300 | |a xvi, 377 p. : |b il. ; |c 24 cm. | ||
490 | 0 | |a Lecture notes in computer science ; |v v. 4423 | |
490 | 0 | |a LNCS ; |v v. 4423 | |
504 | |a Includes bibliographical references and index. | ||
650 | 4 | |a Programming languages. | |
650 | 4 | |a Grammars and other rewriting systems. | |
650 | 4 | |a Modes of computation. | |
650 | 4 | |a Language constructs and features. | |
650 | 4 | |a Processors. | |
650 | 4 | |a Requirements. | |
650 | 4 | |a Specifications. | |
650 | 4 | |a System analysis. | |
700 | 1 | |9 15650 |a Seidl, Helmut, |e ed. | |
711 | 2 | |a ETAPS 2007 |d (2007 : |c Braga, Portugal) | |
856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/toc/fy0710/2007922481.html |
856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0826/2007922481-d.html |
942 | |c LIBRO |2 | ||
945 | |a MCR |d 2012-03-08 | ||
952 | |0 0 |1 0 |4 0 |6 C_LNCS_V__4423_000000000000000 |7 0 |9 19766 |a MMA |b MMA |c LN |d 2010-08-10 |e Subsidio Secyt-UNC 2010-Gramaglia Hector: Importación de Publicaciones |l 0 |o C LNCS v. 4423 |p 20540 |r 2010-08-10 00:00:00 |w 2010-08-10 |y LIBRO | ||
955 | |a jf09 2007-05-01 z-processor |i jf09 2007-05-01 to sl | ||
955 | |a pc17 2007-02-06 |a jf00 2007-05-01 | ||
999 | |c 15508 |d 15507 |