Kniha Baltic Computer Science Janis Barzdins

Baltic Computer Science

Selected Papers

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
100.00
This volume presents a substantial part of the results obtained in the last few years in the field o...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
1991
Stránok
626
EAN
9783540541318
ISBN
3540541314
Enbook ID
01565415
Vydavateľ
Hmotnosť
856
Rozmery
155 x 235 x 32

Kompletný popis

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.

Mohlo by vás zaujímať

149.91
14.33
9.81
25.73
16.59

This Winter

Alice Oseman
10.80

Baby Einstein: 12 Board Books: 12 Board Books

Editors of Phoenix International Publica
12.37

Commanding Magic

Sarah Hambleton
13.65

Mont Blanc

Philippe Batoux
29.46
27.79
12.37
16.40
22.49

The Brand Gap

Marty Neumeier
31.92

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

Cambodge

Encyclopaedia Universalis
7.75
78.49

Apocalypse de Jean

Claude Tresmontant
35.75

Blue Period 6

Tsubasa Yamaguchi
8.83

Canciones de Lorca/Prometheus

Rene/Pacific Chorale/Pacific Symphony Barbera
14.24