Skip to content
Same-day shipping9% off: code GIG9
BooksBajar.com
Cover of Fme '93

Fme '93

Industrial-strength Formal Methods

by James C. P. Woodcock, Peter G. Larsen

Springer · 1993 · Paperback

₹4,158

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–5 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns.
  • Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹3,784 for this book (save ₹374).

9% off every book, up to ₹500 off per order.

About this book

Fme '93: Industrial-strength Formal Methods by James C. P. Woodcock & Peter G.The book is part of the Lecture notes in computer science series.

The book deals with Computer software, Congresses and Development.

Book details

ISBN-13
9783540566625
ISBN-10
3540566627
Authors
James C. P. Woodcock, Peter G. Larsen
Publisher
Springer
Published
1993
Series
Lecture notes in computer science
Binding
Paperback
Pages
689
Language
English
Condition
New
Subject
Software & Tools

More in Software & Tools