Baltic Computer Science

Name: Baltic Computer Science: Selected Papers
Brand: Springer
SKU: 9783540541318
Price: 4832.00 INR
Availability: InStock

Selected Papers

by Janis Barzdins, Dines Bjørner

Springer

₹4,832

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.