Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Applied Semantics - International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Paperback, 2002 ed.) Loot Price: R1,853

Discovery Miles 18 530

Repayment Terms: R174 pm x 12*

Add to cart

Applied Semantics - International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures...

Applied Semantics - International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Paperback, 2002 ed.)

Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva

Series: Lecture Notes in Computer Science, 2395

(sign in to rate)

Loot Price R1,853 Discovery Miles 18 530 | Repayment Terms: R174 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book presents revised and extended versions of lectures given at an international summer school on applied semantics that took place in Caminha, Portugal in September.The nine lectures included present recent developments in programming language research in a coherent and systematic way. Among the topics addressed are - description of existing programming languages features - design of new programming languages features - implementation and analysis of programming languages - transformation and generation of programs - verification of programs.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 2395
Release date:	August 2002
First published:	2002
Editors:	Gilles Barthe • Peter Dybjer • Luis Pinto • Joao Saraiva
Dimensions:	235 x 155 x 28mm (L x W x T)
Format:	Paperback
Pages:	536
Edition:	2002 ed.
ISBN-13:	978-3-540-44044-4
Categories:	Books > Language & Literature > Language & linguistics > Semantics (meaning) > General Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-540-44044-5
Barcode:	9783540440444