Tác giả: Keijiro Araki

Ủng hộ

4 Ebooks bởi Keijiro Araki

Keijiro Araki & Andy Galloway: IFM’99
Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling …
PDF
Anh
DRM
€114.21
Keijiro Araki & Stefania Gnesi: FME 2003: Formal Methods
Thisvolumecontainstheproceedingsof FM2003, the12th International Formal Methods Europe Symposium which was held in Pisa, Italy on September 8-14, 2003. Formal Methods Europe (FME, www. fmeurope. org) …
PDF
Anh
DRM
€114.58
Keijiro Araki & Shaoying Liu: Formal Methods and Software Engineering
Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose …
PDF
Anh
DRM
€57.99