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

Name: Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science
Price: 381 CNY
Availability: OutOfStock
Author: Peter Muller

价格

元 381

不含税

远程仓调货

预计送达时间年6月8日 - 年6月18日

顾客评价：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

根据欧洲消费者保护法享受14天退换货政策

Trustpilot平台高分认证

添加至iMusic心愿单

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

Peter Muller

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

介质类型	图书 Paperback Book (平装胶订图书)
已发行	2002年1月23日
ISBN13	9783540431671
出版商	Springer-Verlag Berlin and Heidelberg Gm
页数	298
商品尺寸	155 × 235 × 16 mm · 439 g
语言	英语