Konferenzschrift | Kongress
Language engineering and rigorous software development : international LerNet ALFA summer school 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642031526
- Dimensions
-
24 cm
- Extent
-
VI, 300 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 5520 : Tutorial
- Keyword
-
Softwareentwicklung
Formale Methode
Programmiersprache
Typentheorie
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, NY
- (who)
-
Springer
- (when)
-
2009
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:56 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Bove, Ana
- America Latina Formación Academica
- Springer
Time of origin
- 2009
Other Objects (12)
3D-CAD mit Inventor 2008 : Tutorial mit durchgängigem Projektbeispiel
Reasoning Web : 4th international summer school 2008, Venice Italy, September 7 - 11, 2008 ; tutorial lectures
2008: 2008
2. Was Hänsgen nicht lernet, lernet Hans nimmermehr
2008: Jahresbericht 2008
Rigorous, Professional JavaScript
Lernet-Holenia, Alexander
Lernet-Holenia, Alexander
Alexander Lernet-Holenia
Lernet-Holenia, Alexander
Festschrift 2008 : 1957-2008
Nuclear fusion programme, 2008.. January 2008 - December 2008
3D-CAD mit Inventor 2008 : Tutorial mit durchgängigem Projektbeispiel
Reasoning Web : 4th international summer school 2008, Venice Italy, September 7 - 11, 2008 ; tutorial lectures
2008: 2008
2. Was Hänsgen nicht lernet, lernet Hans nimmermehr
2008: Jahresbericht 2008
Rigorous, Professional JavaScript
Lernet-Holenia, Alexander
Lernet-Holenia, Alexander
Alexander Lernet-Holenia
Lernet-Holenia, Alexander
Festschrift 2008 : 1957-2008
Nuclear fusion programme, 2008.. January 2008 - December 2008
3D-CAD mit Inventor 2008 : Tutorial mit durchgängigem Projektbeispiel
Reasoning Web : 4th international summer school 2008, Venice Italy, September 7 - 11, 2008 ; tutorial lectures
2008: 2008
2. Was Hänsgen nicht lernet, lernet Hans nimmermehr
2008: Jahresbericht 2008
Rigorous, Professional JavaScript
Lernet-Holenia, Alexander
Lernet-Holenia, Alexander
Alexander Lernet-Holenia
Lernet-Holenia, Alexander
Festschrift 2008 : 1957-2008