Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Baltic Computer Science

Name: Baltic Computer Science
Brand: Springer, Berlin
SKU: 01565415
Price: 436.67 PLN
Availability: InStock
Author: Janis Barzdins
ISBN: 9783540541318

Selected Papers

Janis Barzdins

Dines Bjorner

Język

Angielski

Książka Miękka

Kod Libristo: 01565415

Wydawnictwo Springer, Berlin, listopad 1990

This volume presents a substantial part of the results obtained in the last few years in the field o... Cały opis

Kod Libristo: 01565415

249 b

436.67 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Europäische Bienenfresser (Tischkalender 2026 DIN A5 quer), CALVENDO Monatskalender Calvendo

Kalendarz

79.40 zł

Cambodge Encyclopaedia Universalis

Adobe ePub DRM

34.02 zł

Elemente einer erfolgreichen internen Kommunikation in Tourismusunternehmen Steffi Meier

Miękka

64.84 zł

Modelo para vacunas sinteticas antiparasitarias Nathalie Chacon Fonseca

Miękka

342.71 zł

Apocalypse de Jean Claude Tresmontant

Miękka

155.89 zł

Blue Period 6 Tsubasa Yamaguchi

Miękka

38.74 zł

Canciones de Lorca/Prometheus Rene/Pacific Chorale/Pacific Symphony Barbera

CD Audio

62.03 zł

This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems.