0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Not currently available

Applied Semantics - International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Paperback, 2002 ed.) Loot Price: R1,757
Discovery Miles 17 570
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,757 Discovery Miles 17 570 | Repayment Terms: R165 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

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
LSN: 3-540-44044-5
Barcode: 9783540440444

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global…
Walter Savitch Paperback R2,431 Discovery Miles 24 310
C++ Programming - Program Design…
D. Malik Paperback R1,728 R1,544 Discovery Miles 15 440
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,893 Discovery Miles 18 930
Implementation Patterns
Kent Beck Paperback R1,005 Discovery Miles 10 050
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,326 Discovery Miles 13 260
Objects First with Java: A Practical…
David Barnes Paperback R2,408 Discovery Miles 24 080
Prolog Programming for Artificial…
Ivan Bratko Paperback R2,231 Discovery Miles 22 310
A Day in Code - An illustrated story…
Shari Eskenas Hardcover R596 Discovery Miles 5 960
Visual C# How to Program, Global Edition
Harvey Deitel, Paul Deitel Paperback R2,110 Discovery Miles 21 100
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R941 Discovery Miles 9 410
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R672 Discovery Miles 6 720

See more

Partners