Programming Languages: Implementations, Logics, and Programs

Name: Programming Languages: Implementations, Logics, and Programs
Brand: Springer, Berlin
SKU: 9783540633983
Price: 49.99 EUR
Availability: InStock

9th International Symposium, PLILP '97.. Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September, 3-5, 1997

Autor: Hugh Glaser, Peter Hartel, Herbert Kuchen

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer, Berlin

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

49.99 €

This volume constitutes the refereed proceedings of the 9th International Symposium on Programming L...

Informácie o knihe

Autor

Hugh Glaser, Peter Hartel, Herbert Kuchen

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1997

Stránok

428

EAN

9783540633983

ISBN

3540633987

Enbook ID

05274740

Vydavateľ

Springer, Berlin

Hmotnosť

582

Rozmery

156 x 234 x 22

Kompletný popis

This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Programming Languages: Implementations, Logics, and Programs

9th International Symposium, PLILP '97.. Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September, 3-5, 1997

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Crystallography of Quasicrystals

Gender and Digital Media

Voice of Nigeria at Thirty, Quo Vadis?

By Right of Conquest; Or, With Cortez in Mexico

Treatment of International Research and Development as Investment Issues and Estimates

Challenger Storm-Isle of Blood

Household Vulnerability and Resilience to Economic Shocks

HISTORICAL COLL OF ALL NATIONS

Resource-Based and Evolutionary Theories of the Firm

New York New Wave

Collecting Rocks, Gems and Minerals

Term Structure of Interest Rates

Trail of a Sourdough Life in Alaska

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Pharmazeutische UEbungspraparate

73 Recetas De Comidas Bajas En Sodio

BEFORE THE PARADE PASSES BY CHANT

Martine

SETGE DE TARRAGONA A LA GUERRA NAPOLEONICA, EL

北美耄齡桑榆自吟（五）

Kvapník plyšový mluvící

Die Anwendung des Einwendungsdurchgriffs gem. 359 BGB auf den Beitritt zu einer Publikumsgesellschaft.