Animali e Forniture per Animali
Migliori Marche Royal Canin cane
Migliori Prodotti cibo secco per cani
Migliori Ricerche miglior cibo per cuccioli
Migliori Ricerche accessori interni per gatti
Migliori Prodotti mangime per pappagalli
Migliori Ricerche semi per canarini
Migliori Prodotti filtri per acquario
Migliori Ricerche pesci tropicali
Abbigliamento e Accessori
Migliori Prodotti abiti in cotone leggeri
Migliori Prodotti sneakers bianche
Migliori Ricerche scarpe comode per camminare
Migliori Marche Gucci occhiali da sole
Migliori Prodotti borse in pelle
Migliori Ricerche cinture in pelle eleganti
Migliori Prodotti completi notte in seta
Migliori Ricerche intimo comodo per uomo
Elettronica
Migliori Marche iPhone 14 Pro
Migliori Prodotti laptop per gaming
Migliori Ricerche auricolari wireless qualità
Salute e Bellezza
Migliori Prodotti fondotinta coprente
Migliori Prodotti integratori per energia

Baltic Computer Science

A partire da 84,99 $
Avviso di prezzo Prezzo
Avviso di prezzo Prezzo
Prezzo
Resetta i filtri
Prezzo
Resetta i filtri
- image
Baltic Computer Science

Disponibilità

Springerlink shop int - de
Visa AmericanExpress PayPal

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

Prezzo
84,99$
Vedi

Baltic Computer Science

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.