- 5 Ergebnisse
Kleinster Preis: € 39,79, größter Preis: € 58,10, Mittelwert: € 50,09
1
Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers - Ana Bove
Bestellen
bei ZVAB.com
€ 58,10
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Ana Bove:

Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers - Taschenbuch

2009, ISBN: 3642031528

[EAN: 9783642031526], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], SPRACHERKENNUNG; COQ; ABSTRACTSYNTAX; COMBINATORPARSING; CONCRETESYNTAX; CONTEXT-FREEGRAMMAR; DEPENDENTTYPES; D… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Language Engineering and Rigorous Software Development - Ana Bove
Bestellen
bei AbeBooks.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Ana Bove:

Language Engineering and Rigorous Software Development - Taschenbuch

2009, ISBN: 3642031528

[EAN: 9783642031526], Neubuch, [PU: Springer Berlin Heidelberg Jul 2009], SPRACHERKENNUNG; COQ; ABSTRACTSYNTAX; COMBINATORPARSING; CONCRETESYNTAX; CONTEXT-FREEGRAMMAR; DEPENDENTTYPES; DOM… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)]
zuklappen (X)
3
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers - Bove, Ana (Herausgeber); Pinto, Jorge Sousa (Herausgeber); Pardo, Alberto (Herausgeber); Barbosa, Luis Soares (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 57,66
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bove, Ana (Herausgeber); Pinto, Jorge Sousa (Herausgeber); Pardo, Alberto (Herausgeber); Barbosa, Luis Soares (Herausgeber):
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers - neues Buch

2009

ISBN: 3642031528

2009 Kartoniert / Broschiert Spracherkennung, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Software Engineering, Computermodellierung und -simulation, Coq; a… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers - Bove, Ana, Luis Soares Barbosa und Alberto Pardo
Bestellen
bei booklooker.de
€ 39,79
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bove, Ana, Luis Soares Barbosa und Alberto Pardo:
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers - gebrauchtes Buch

2009, ISBN: 9783642031526

[PU: Springer Berlin], Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen, Ausgabe 2009 5672886/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweis… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
zuklappen (X)
5
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers - Bove, Ana, Luis Soares Barbosa und Alberto Pardo
Bestellen
bei booklooker.de
€ 41,43
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bove, Ana, Luis Soares Barbosa und Alberto Pardo:
Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers - gebrauchtes Buch

2009, ISBN: 9783642031526

[PU: Springer Berlin], Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen, Ausgabe 2009 5672886/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweis… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Language Engineering and Rigorous Software Development
Autor:
Titel:
ISBN-Nummer:

9783642031526


This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008. The volume presents three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume. Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development.

Detailangaben zum Buch - Language Engineering and Rigorous Software Development


EAN (ISBN-13): 9783642031526
ISBN (ISBN-10): 3642031528
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin Heidelberg
300 Seiten
Gewicht: 0,482 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2009-06-23T20:55:53+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-04-03T00:09:01+02:00 (Vienna)
ISBN/EAN: 9783642031526

ISBN - alternative Schreibweisen:
3-642-03152-8, 978-3-642-03152-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: bove, pardo, jorge barbosa, soares, alberto pinto, albert sous, luis sousa
Titel des Buches: uruguay, software engineering, language development, rigorous software development, the programming language, rigo rigo, summer school, selected engineering papers, alfa 166

Daten vom Verlag:

Autor/in: Ana Bove; Luis Soares Barbosa; Alberto Pardo; Jorge Sousa Pinto
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Language Engineering and Rigorous Software Development - International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Verlag: Springer; Springer Berlin
301 Seiten
Erscheinungsjahr: 2009-07-14
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
IX, 301 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Coq; abstract syntax; combinator parsing; concrete syntax; context-free grammar; dependent types; domain-specific languages; extended static checking; first-order logic; formal methods; functional programming; generic programming; information flow securit; Software Engineering; Compilers and Interpreters; Computer Modelling; Programming Techniques; IT Operations; Compiler und Übersetzer; Computermodellierung und -simulation; Computerprogrammierung und Softwareentwicklung; Wirtschaftsmathematik und -informatik, IT-Management; EA

to Type Theory.- Dependent Types at Work.- A Tutorial on Type-Based Termination.- Structural Abstract Interpretation: A Formal Study Using Coq.- Extended Static Checking by Calculation Using the Pointfree Transform.- Combinator Parsing: A Short Tutorial.
< zum Archiv...