4 E-böcker av 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
Engelska
DRM
€114.21
Keijiro Araki & Zhiming Liu: Theoretical Aspects of Computing – ICTAC 2004
…
PDF
Engelska
DRM
€115.19
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
Engelska
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
Engelska
DRM
€57.99