Baltic Computer Science: Selected Papers - Lecture Notes in Computer Science 502 (Paperback)
  • Baltic Computer Science: Selected Papers - Lecture Notes in Computer Science 502 (Paperback)
zoom

Baltic Computer Science: Selected Papers - Lecture Notes in Computer Science 502 (Paperback)

(editor), (editor)
£103.50
Paperback 626 Pages / Published: 28/06/1991
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540541318
Number of pages: 626
Weight: 1940 g
Dimensions: 235 x 155 x 32 mm
Edition: 1991 ed.

You may also be interested in...

The Mythical Man-Month
Added to basket
The Lego Architect
Added to basket
£20.99
Hardback
Machine Learning
Added to basket
Machine Learning
Added to basket
£39.99
Paperback
Machine Learning
Added to basket
£37.99
Paperback
Deep Learning
Added to basket
£47.99
Paperback
The Elements of Statistical Learning
Added to basket
Business Analysis Techniques
Added to basket
AQA A level Computer Science
Added to basket
Introducing Artificial Intelligence
Added to basket
How We Became Posthuman
Added to basket
Git for Teams
Added to basket
£39.99
Paperback
Emotion: A Very Short Introduction
Added to basket
Data Science from Scratch
Added to basket

Please sign in to write a review

Your review has been submitted successfully.