Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science - Peter Muller - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540431671 - January 23, 2002
In case cover and title do not match, the title is correct

Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science 2002 edition

Peter Muller

Price
NZD 105

Ordered from remote warehouse

Expected delivery Oct 18 - Nov 1

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science 2002 edition

Two aspects are crucial to widen the application area of formal methods: - Formal speci?cation techniques have to be smoothly integrated into the software and program development process. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware.

298 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 23, 2002
ISBN13 9783540431671
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 298
Dimensions 155 × 235 × 16 mm   ·   439 g
Language English  
Show all

More by Peter Muller

See all of Peter Muller ( e.g. Paperback Book , Hardcover Book , CD and Book )