Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Language Engineering and Rigorous Software Development

International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Language EnglishEnglish
Book Paperback
Book Language Engineering and Rigorous Software Development Luis Soares Barbosa
Libristo code: 01650158
Publishers Springer, Berlin, November 2008
This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School... Full description
? points 125 b
51.49 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Language Engineering and Rigorous Software Development
Author Luis Soares Barbosa, Ana Bove, Alberto Pardo, Jorge Sousa Pinto
Language English
Binding Book - Paperback
Date of issue 2009
Number of pages 301
EAN 9783642031526
ISBN 3642031528
Libristo code 01650158
Publishers Springer, Berlin
Weight 480
Dimensions 155 x 17 x 15

Categories

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?