Programming Languages: Implementations, Logics, and Programs

Name: Programming Languages: Implementations, Logics, and Programs
Brand: Springer, Berlin
SKU: 9783540633983
Price: 212.95 PLN
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

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.95 zł

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

Informacje o książce

Autor

Hugh Glaser, Peter Hartel, Herbert Kuchen

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1997

strony

428

EAN

9783540633983

ISBN

3540633987

Enbook ID

05274740

Wydawca

Springer, Berlin

Waga

582

Wymiary

156 x 234 x 22

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

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

Klienci, którzy kupili tę książkę, kupili również

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.