Modular Specification and Verification of Object-Oriented Programs
Edition: 1 edition
Publisher: Springer
Published: March 22, 2002
Language: eng
Format: Paperback
Number of pages: 306
ISBN-13: 9783540431671
Subjects: Object-oriented programming (OOP); Programming languages; Software engineering; Formal Language Theory; Object-Oriented Programming; Computers; Medical / Nursing; Computer Books: Languages; General; Programming - Software Development; Programming Languages - General; Computers / Programming / Software Development; Modular specification; component systems; Computer Science; Programming - Object Oriented Programming; Computer software; Development; Modular programming; Object-oriented programming (C; Object-oriented programming (Computer science)
Notes: Lecture Notes in Computer Science