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

Barzdins, J. & Bjorner, D. (eds.)

 
9780387541310: Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387541314 ISBN 13: 9780387541310
Publisher: Springer-Verlag, 1991

Synopsis

Baltic Computer Science This volume presents recent computer science work from the Baltic Republics of Estonia, Latvia and Lithuania. The following topics are addressed: synthesis of programs, automatic test case generation, specification and verification of distributed systems. Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer-Verlag
Publication date
1991
Language
English
ISBN 10 
0387541314
ISBN 13 
9780387541310
Binding
Paperback

Other Popular Editions of the Same Title

9783540541318: Baltic Computer Science: Selected Papers: 502 (Lecture Notes in Computer Science, 502)

Featured Edition

ISBN 10:  3540541314 ISBN 13:  9783540541318
Publisher: Springer, 1991
Softcover