Book classification:Computer & Technology,English Books,
No. of pages:636 Pages
Format:Paperback
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR686
Incl. VAT
Choose your delivery preference
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
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.