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 despatched 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...

Introducing Artificial Intelligence
Added to basket
Getting Started with Drones
Added to basket
Interaction Design
Added to basket
£53.99
Paperback
The Mythical Man-Month
Added to basket
Data Science from Scratch
Added to basket
Portfolio, programme and project offices
Added to basket
How to Pass Higher Computing Science
Added to basket
£11.99   £9.99
Paperback
Computing with Quantum Cats
Added to basket
Don't Make Me Think, Revisited
Added to basket
Computer Science Illuminated
Added to basket
Machine Learning
Added to basket
The Singularity is Near
Added to basket
Using Docker
Added to basket
£47.99
Paperback
Alan Turing's Systems of Logic
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.