Baltic Computer Science

Name: Baltic Computer Science
Brand: Springer, Berlin
SKU: 9783540541318
Price: 100.0 EUR
Availability: InStock

Selected Papers

Autor: Janis Barzdins, Dines Bjorner

Jazyk:

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

Autor

Janis Barzdins, Dines Bjorner

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

1991

Stránok

626

EAN

9783540541318

ISBN

3540541314

Enbook ID

01565415

Vydavateľ

Springer, Berlin

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ť

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

Baltic Computer Science

Selected Papers

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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