Baltic Computer Science

Name: Baltic Computer Science
Brand: Springer, Berlin
SKU: 9783540541318
Price: 39076 HUF
Availability: InStock

Selected Papers

Szerző: Janis Barzdins, Dines Bjorner

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

39 076 Ft

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

Információk a könyvről

Szerző

Janis Barzdins, Dines Bjorner

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1991

oldal

626

EAN

9783540541318

ISBN

3540541314

Enbook ID

01565415

Kiadó

Springer, Berlin

Súly

856

Méretek

155 x 235 x 32

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Baltic Computer Science

Selected Papers

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták