|  |
 |
| Artikel-Nr.: 5667A-9783540008866 Herst.-Nr.: 9783540008866 EAN/GTIN: 9783540008866 |
| |
|
|  |  |
 | 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Weitere Informationen:  |  | Author: | Pierpaolo Degano | Verlag: | Springer Berlin | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: Softwareentwicklung (Fachbücher), Softwareentwicklungsbücher, datenbanken (fachbücher), Compiler, Übersetzer (EDV), Programmiersprachen, Isabelle, algorithms, data structures, formal languages, logic, model checking, modeling, programming |
|  |  |
| |