Autorenfreundlich Bücher kaufen?!
Beschreibung
claritywas¿AProvablyCorrectCompilerforE?cientModelCheckingofMobile Processes,¿byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka.
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 14. Januar 2005 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 452 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540243625 |
| Seiten | 272 |