1 หนังสืออิเล็กทรอนิกส์โดย Reiner Haehnle
Marco Bernardo & Ferruccio Damiani: Formal Methods for Executable Software Models
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, S …
PDF
อังกฤษ
DRM
€57.99
