Foundation of Software Science and Computation Structures Jerzy Tiuryn
Titel: Foundation of Software Science and Computation Structures, Untertitel: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings, Einband: Taschenbuch, Autor: Jerzy Tiuryn, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 408, Maße: 235x155x23 mm, Gewicht: 616 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Programmiersprachen Ada Program Transformation Semantics Software Engineering algorithm algorithms automata formal language formal verification lambda calculus logic program analysis programming system specification verification.
Jetzt bei Ebay:
