Theoretical Aspects of Computer Software Takayasu Ito
106,99 €
Titel: Theoretical Aspects of Computer Software, Untertitel: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings, Einband: Taschenbuch, Autor: Takayasu Ito, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 660, Maße: 235x155x36 mm, Gewicht: 984 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Polymorphism Semantics action calculi calculus lambda calculus logic model checking object program refinement program semantics programming real-time security sets type theory.
Jetzt bei Ebay:
