Programming Languages and Systems Hongseok Yang
Titel: Programming Languages and Systems, Untertitel: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Einband: Taschenbuch, Autor: Hongseok Yang, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 1008, Maße: 235x155x54 mm, Gewicht: 1492 g, Verkäufer: buch-mimpf, Schlagworte: Programmiersprachen Computer programming languages Functional Programming Program Logic Semantics Separation logic Software Engineering Specifications automated reasoning computer software selection and evaluation concurrency context specification languages formal logic program compilers proof theory type systems verification.
Jetzt bei Ebay:
