Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2009]
|
| Series: | LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 5520. Lecture notes in computer science. Tutorial. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
MARC
| Tag | First Indicator | Second Indicator | Subfields |
|---|---|---|---|
| LEADER | 00000cam a2200000Ia 4500 | ||
| 001 | in00002547708 | ||
| 005 | 20210727090237.0 | ||
| 006 | m d | ||
| 007 | cr cn| | ||
| 008 | 090922s2009 gw a sb 101 0 eng d | ||
| 020 | |a 3642031536 | ||
| 020 | |a 9783642031533 | ||
| 020 | |z 3642031528 (pbk.) | ||
| 020 | |z 9783642031526 (pbk.) | ||
| 029 | 1 | |a NZ1 |b 13118810 | |
| 035 | |a (OCoLC)437345751 | ||
| 035 | |a (OCoLC)ocn437345751 | ||
| 035 | |a 3649831 | ||
| 037 | |a 978-3-642-03152-6 |b Springer |n http://www.springerlink.com | ||
| 040 | |a GW5XE |b eng |c GW5XE |d WAU |d UtOrBLW | ||
| 049 | |a TXAC | ||
| 050 | 4 | |a QA76.76.D47 |b L475 2008 | |
| 072 | 7 | |a QA |2 lcco | |
| 082 | 0 | 4 | |a 005.1 |2 22 |
| 111 | 2 | |a LerNet ALFA Summer School |d (2008 : |c Piriapolis, Uruguay) |0 http://id.loc.gov/authorities/names/nb2009018593 | |
| 245 | 1 | 0 | |a Language engineering and rigorous software development : |b International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures / |c Ana Bove [and others] (eds.). |
| 264 | 1 | |a Berlin ; |a New York : |b Springer, |c [2009] | |
| 264 | 4 | |c ©2009 | |
| 300 | |a 1 online resource (vi, 300 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a LNCS sublibrary. SL 2, Programming and software engineering | |
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 5520 |a Tutorial | |
| 500 | |a Description based on print version record. | ||
| 500 | |a Electronic resource. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Computer software |x Development |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008101470 | |
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008104061 | |
| 650 | 0 | |a Programming languages (Electronic computers) |v Congresses. |0 http://id.loc.gov/authorities/subjects/sh2008108876 | |
| 650 | 0 | |a Type theory |v Congresses. | |
| 655 | 7 | |a Electronic books. |2 local | |
| 700 | 1 | |a Bove, Ana. |0 http://id.loc.gov/authorities/names/nb2009018594 | |
| 776 | 1 | |c Original |z 9783642031526 |z 3642031528 |w (DLC) 2009930949 |w (OCoLC)428011995 | |
| 830 | 0 | |a LNCS sublibrary. |n SL 2, |p Programming and software engineering. |0 http://id.loc.gov/authorities/names/no2007033954 | |
| 830 | 0 | |a Lecture notes in computer science ; |v 5520. |0 http://id.loc.gov/authorities/names/n42015162 | |
| 830 | 0 | |a Lecture notes in computer science. |p Tutorial. |0 http://id.loc.gov/authorities/names/n2004142395 | |
| 856 | 4 | 0 | |u http://proxy.library.tamu.edu/login?url=https://dx.doi.org/10.1007/978-3-642-03153-3 |z Connect to the full text of this electronic book |t 0 |
| 994 | |a 92 |b TXA | ||
| 999 | |a MARS | ||
| 999 | f | f | |s 06acf593-ca33-383f-985e-e1df537645cf |i 717eb7c5-da88-370a-a384-c866f4248c02 |t 0 |
| 952 | f | f | |a Texas A&M University |b College Station |c Electronic Resources |d Available Online |t 0 |e QA76.76.D47 L475 2008 |h Library of Congress classification |
| 998 | f | f | |a QA76.76.D47 L475 2008 |t 0 |l Available Online |