

An edition of Formal Methods for Components and Objects Lecture Notes in Computer Science (2009)
By Frank S. de Boer
Publish Date
2009
Publisher
Springer
Language
-
Pages
-
Description:
subjects: Logic design, Operating systems (Computers), Software engineering, Computer science, Formal methods (Computer science), Congresses, Component software, Object-oriented programming (Computer science), Softwareentwicklung, Kongress, Formale Methode, Objektorientierung, Komponente <Software>, Komponente (Software), System design, Computer software