• Sign In / Register
  • Help
  • Basket0
The books you love, the emails you want
Time is running out, opt in before 25 May or you'll stop hearing from us
Yes Please
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

Check Marketplace availability

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 Singularity is Near
Added to basket
US For Beginners
Added to basket
£23.99
Paperback
The Mythical Man-Month
Added to basket
Portfolio, programme and project offices
Added to basket
The Man Who Lied To His Laptop
Added to basket
Systems Analysis and Design
Added to basket
Machine Learning
Added to basket
£42.50
Paperback
Emotion: A Very Short Introduction
Added to basket
The Elements of Statistical Learning
Added to basket
Data Science from Scratch
Added to basket
Bayesian Reasoning and Machine Learning
Added to basket
Data Analysis with Open Source Tools
Added to basket
How to Pass Higher Computing Science
Added to basket
Don't Make Me Think, Revisited
Added to basket
Practical Reverse Engineering
Added to basket
The Computing Universe
Added to basket
£25.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.