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

Formal Methods for Components and Objects

Second International Symposium

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Springer · 2004 · Paperback

₹5,700

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

Published by Springer in 2004, Formal Methods for Components and Objects: Second International Symposium by Frank S. de Boer, Marcello M. Bonsangue & others runs to 371 pages in paperback. It belongs to the Lecture notes in computer science series.

The book deals with Component software, Congresses, Formal methods (Computer science) and Object-oriented programming (Computer science).

Book details

ISBN-13
9783540229421
ISBN-10
3540229426
Authors
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Publisher
Springer
Published
2004
Series
Lecture notes in computer science
Edition
1 edition
Binding
Paperback
Pages
371
Language
English
Condition
New
See all