تبلیغات
Vanessa's receptions - Modular Specification and Verification of Object-Oriented Programs download ebook

Vanessa's receptions

Modular Specification and Verification of Object-Oriented Programs. Peter MГјller

Modular Specification and Verification of Object-Oriented Programs



Download Modular Specification and Verification of Object-Oriented Programs



Modular Specification and Verification of Object-Oriented Programs Peter MГјller ebook pdf
Publisher: Springer
Language: English
Page: 297
ISBN: 3540431675, 9783540431671

This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.



MORE EBOOKS:
Child Protection Work: Beyond the Rhetoric read
online Modular Specification and Verification of Object-Oriented Programs







Tags: Modular Specification and Verification of Object-Oriented Programs ebook pdf djvu epub
Modular Specification and Verification of Object-Oriented Programs download pdf epub djvu
Download Modular Specification and Verification of Object-Oriented Programs free ebook pdf
Read Modular Specification and Verification of Object-Oriented Programs online book
Modular Specification and Verification of Object-Oriented Programs cheap ebook for kindle and nook
Modular Specification and Verification of Object-Oriented Programs download book
Peter MГјller ebooks
Modular Specification and Verification of Object-Oriented Programs download pdf rapidshare mediafire fileserve 4shared torrent

نظرات() 
 
لبخندناراحتچشمک
نیشخندبغلسوال
قلبخجالتزبان
ماچتعجبعصبانی
عینکشیطانگریه
خندهقهقههخداحافظ
سبزقهرهورا
دستگلتفکر

آمار وبلاگ

  • کل بازدید :
  • بازدید امروز :
  • بازدید دیروز :
  • بازدید این ماه :
  • بازدید ماه قبل :
  • تعداد نویسندگان :
  • تعداد کل پست ها :
  • آخرین بازدید :
  • آخرین بروز رسانی :