Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Formal Methods for Components and Objects

Formal Methods for Components and Objects

7th International Symposium

by Frank S. de Boer

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2009

₹4,244

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 for Components and Objects: 7th International Symposium by Frank S. de Boer is a 299-page book published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2009.

Its main subjects are Logic design, Operating systems (Computers), Software engineering and Computer science.

Book details

ISBN-13
9783642041662
ISBN-10
3642041663
Author
Frank S. de Boer
Published
2009
Edition
2009 ed.
Pages
299
Language
English
Condition
New
See all