Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.

Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2897955 obálek a 875375 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures (Lecture Notes in Computer Science)

Autor: Barthe, Gilles.
Rok: 2002
ISBN: 9783540440444
OKCZID: 110034838

Citace (dle ČSN ISO 690):
BARTHE, Gilles, ed. Applied semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures. Berlin: Springer, 2002. vi, 536 s. Lecture notes in computer science, 2395.


Anotace

Upravit anotaci
 

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.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)