
Formal Methods for Components and Objects
Frank S. de Boer
₹4,244

Second International Symposium
by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Springer · 2004 · Paperback
Free delivery. Nothing extra to pay at checkout.
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).