Formal Methods for Software Engineering
Languages, Methods, Application Domains
Szerző:
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Elérhetőség:
Beszállítói készleten
Küldés 10-18 napon belül
17 196
Ft
This is a graduate-level introduction to formal methods. The first part presents two formal language...
