Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
524
Pagini
2023
An
Paperback
Copertă
Editura
Springer Nature Switzerland AG
Copertă
Paperback
Pagini
524
An publicare
2023
ISBN
9783030388027
Categorii
Informatică & Programare
Conectează-te pentru a lăsa o recenzie
🔥
🔥
🔥
🔥
🔥
Nicio recenzie încă
Fii primul care lasă o impresie.