Items related to Language Engineering and Rigorous Software Development:...
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... (Lecture Notes in Computer Science, 5520) - Softcover
Synopsis
Language Engineering and Rigorous Software Development This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2009
- ISBN 10 3642031528
- ISBN 13 9783642031526
- BindingPaperback
- LanguageEnglish
- Number of pages310
- EditorBove Ana, Barbosa Luis Soares, Pardo Alberto, Pinto Jorge Sousa
Search results for Language Engineering and Rigorous Software Development:...
Stock Image
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... (Lecture Notes in Computer Science, 5520)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020214288
Quantity: Over 20 available
Stock Image
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, ... (Lecture Notes in Computer Science, 5520)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642031526_new
Quantity: Over 20 available
Stock Image
Language Engineering and Rigorous Software Development: International LerNet A.L.F.A. Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, . 5520 (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783642031526
Quantity: 10 available
Seller Image
Language Engineering and Rigorous Software Development
Published by
Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642031528
ISBN 13: 9783642031526
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 312 pp. Englisch. Seller Inventory # 9783642031526
Quantity: 2 available
Seller Image
Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Published by
Springer Berlin Heidelberg, 2009
ISBN 10: 3642031528
ISBN 13: 9783642031526
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783642031526
Quantity: 1 available
Stock Image
Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Published by
Springer Berlin Heidelberg, 2009
ISBN 10: 3642031528
ISBN 13: 9783642031526
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen, Ausgabe 2009 | Seiten: 312 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 5672886/12
Quantity: 1 available
Stock Image
Language Engineering and Rigorous Software Development
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 312. Seller Inventory # 263056213
Quantity: 4 available
Stock Image
Language Engineering and Rigorous Software Development
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 312 Illus. Seller Inventory # 5840266
Quantity: 4 available
Seller Image
Language Engineering and Rigorous Software Development
Published by
Springer Berlin Heidelberg, 2009
ISBN 10: 3642031528
ISBN 13: 9783642031526
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Seller Inventory # 5043904
Quantity: Over 20 available
Stock Image
Language Engineering and Rigorous Software Development
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 312. Seller Inventory # 183056223
Quantity: 4 available