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.
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. We are unable to ship to Canada at this time.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
Published by
Springer Berlin Heidelberg, 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 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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
Seller Image
Baltic Computer Science
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1991, 1991
ISBN 10: 3540541314
ISBN 13: 9783540541318
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 636 pp. Englisch. Seller Inventory # 9783540541318
Quantity: 1 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
Stock Image
Baltic Computer Science
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 636. Seller Inventory # 263058223
Quantity: 4 available
Stock Image
Baltic Computer Science
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 636 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5838320
Quantity: 4 available