
Coalgebraic Methods in Computer Science
Marcello M. Bonsangue
₹3,777

9th Ifip Wg 6.1 International Conference
by Marcello M. Bonsangue, Einar Broch Johnsen
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2007 · Paperback
Free delivery. Nothing extra to pay at checkout.
Formal Methods for Open Object-based Distributed Systems: 9th Ifip Wg 6.1 International Conference by Marcello M. Bonsangue & Einar Broch Johnsen is a 317-page paperback edition published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2007.
Topics covered include Logic design, Computer networks, Computer science and Software engineering.