Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Formal Methods in Databases and Software Engineering

Formal Methods in Databases and Software Engineering

Proceedings of the Workshop on Formal Methods in Databases and

by Workshop on Formal Methods in Databases and Software Engineering (1992 Montréal, Canada).

Springer-Verlag New York Inc · 1993

₹4,201

Free delivery. Nothing extra to pay at checkout.

  • 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.

About this book

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and is written by Workshop on Formal Methods in Databases & Canada) Software Engineering (1992 Montréal. This edition from Springer-Verlag New York Inc (1993) has 200 pages. It belongs to the Workshops in computing series.

Topics covered include Congresses, Database management, Formal methods (Computer science) and Software engineering.

Book details

ISBN-13
9783540198123
ISBN-10
3540198121
Authors
Workshop on Formal Methods in Databases and Software Engineering (1992 Montréal, Canada).
Published
1993
Series
Workshops in computing
Edition
Reprint
Pages
200
Language
English
Condition
New

More in System design

See all