Language:
English
繁體中文
Help
回圖書館
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Language engineering and rigorous so...
~
Congress on Progress and Controversies in Oncological Urology (2000:)
Language engineering and rigorous software development = International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Language engineering and rigorous software development/ edited by Ana Bove ... [et al.].
Reminder of title:
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures /
other author:
Bove, Ana.
corporate name:
Congress on Progress and Controversies in Oncological Urology
Published:
Berlin, Heidelberg :Springer Berlin Heidelberg, : 2009.,
Description:
vi, 300 p. :ill., digital ; : 24 cm.;
Series:
Lecture notes in computer science,
Contained By:
Springer eBooks
Subject:
Computer Science. -
Online resource:
http://dx.doi.org/10.1007/978-3-642-03153-3
ISBN:
9783642031533 (electronic bk.)
Language engineering and rigorous software development = International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures /
Language engineering and rigorous software development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures /[electronic resource] :edited by Ana Bove ... [et al.]. - Berlin, Heidelberg :Springer Berlin Heidelberg,2009. - vi, 300 p. :ill., digital ;24 cm. - Lecture notes in computer science,55200302-9743 ;.
ISBN: 9783642031533 (electronic bk.)Subjects--Topical Terms:
120417
Computer Science.
LC Class. No.: QA76.76.D47 / L475 2008
Dewey Class. No.: 005.1
Language engineering and rigorous software development = International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures /
LDR
:00976nmm 2200241 a 4500
001
194319
003
Springer
005
20091204102737.0
006
m d
007
cr nn 008maaau
008
170623s2009 gw j eng d
020
$a
9783642031533 (electronic bk.)
020
$a
9783642031526 (paper)
035
$a
978-3-642-03152-6
050
0 4
$a
QA76.76.D47
$b
L475 2008
082
0 4
$a
005.1
$2
22
090
$a
QA76.76.D47
$b
L616 2008
111
2
$a
Congress on Progress and Controversies in Oncological Urology
$n
(6th :
$d
2000:
$c
Rotterdam, Netherlands)
$3
71642
$3
171735
245
1 0
$a
Language engineering and rigorous software development
$h
[electronic resource] :
$b
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures /
$c
edited by Ana Bove ... [et al.].
260
$a
Berlin, Heidelberg :
$c
2009.
$b
Springer Berlin Heidelberg,
300
$a
vi, 300 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
5520
650
1 4
$a
Computer Science.
$3
120417
650
2 4
$a
Management of Computing and Information Systems.
$3
120422
650
2 4
$a
Programming Languages, Compilers, Interpreters.
$3
120879
650
2 4
$a
Programming Techniques.
$3
120880
650
2 4
$a
Software Engineering.
$3
121004
650
2 4
$a
Simulation and Modeling.
$3
120969
650
0
$a
Type theory
$v
Congresses.
$3
374692
650
0
$a
Programming languages (Electronic computers)
$3
87542
650
0
$a
Formal methods (Computer science)
$3
124486
650
0
$a
Computer software
$x
Development
$v
Congresses.
$3
124448
$3
176342
700
1
$a
Bove, Ana.
$3
374691
710
2
$a
SpringerLink (Online service)
$3
120363
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-03153-3
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login