Theoretical Aspects of Computer Software John C. Mitchell
Titel: Theoretical Aspects of Computer Software, Untertitel: International Symposium TACS ¿94 Sendai, Japan, April 19¿22, 1994 Proceedings, Einband: Taschenbuch, Autor: John C. Mitchell, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 908, Maße: 235x155x49 mm, Gewicht: 1346 g, Verkäufer: buch-mimpf, Schlagworte: Betriebssystem (EDV) Operating System Compiler Übersetzer (EDV) EDV / Theorie / Software-Entw. / Allgemeines EDV / Theorie / Software-Entw. / Software Engineering Informationstechnologie IT Technologie / Informationstechnologie Programmiersprachen Automat concurrency formal logics Formale Logik Programmiertheorie programming theory termrewriting type theory Typentheorie automated deduction Functional Programming lambda calculus programming programming language.
Jetzt bei Ebay:
