Boca, Paul (Hrsg.)
Bowen, Jonathan P. (Hrsg.)
Siddiqi, Jawed (Hrsg.)
Formal Methods: State of the Art and New Directions
State of the Art and New Directions
Beschreibung
Produktdetails
| ISBN/GTIN | 978-1-84882-736-3 |
|---|---|
| Seitenzahl | 273 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 3203 Kbytes |