Items related to Baltic Computer Science: Selected Papers (Lecture Notes...
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1991
- ISBN 10 3540541314
- ISBN 13 9783540541318
- BindingPaperback
- LanguageEnglish
- Number of pages636
- EditorBarzdins Janis, Bjørner Dines
Search results for Baltic Computer Science: Selected Papers (Lecture Notes...
Stock Image
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # DA1411924
Quantity: 1 available
Stock Image
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science, 502)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020169907
Quantity: Over 20 available
Stock Image
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science, 502)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540541318
Quantity: Over 20 available
Stock Image
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science, 502)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540541318_new
Quantity: Over 20 available
Seller Image
Baltic Computer Science : Selected Papers
Published by
Springer Berlin Heidelberg, 1991
ISBN 10: 3540541314
ISBN 13: 9783540541318
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540541318
Quantity: 1 available
Seller Image
Baltic Computer Science
Published by
Springer Berlin Heidelberg Jun 1991, 1991
ISBN 10: 3540541314
ISBN 13: 9783540541318
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 636 pp. Englisch. Seller Inventory # 9783540541318
Quantity: 2 available
Seller Image
Baltic Computer Science
Published by
Springer Berlin Heidelberg, 1991
ISBN 10: 3540541314
ISBN 13: 9783540541318
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. 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 n. Seller Inventory # 4893069
Quantity: Over 20 available