Foundations of Software Science and Computation Structures Wolfgang Thomas
Titel: Foundations of Software Science and Computation Structures, Untertitel: Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, Einband: Taschenbuch, Autor: Wolfgang Thomas, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 340, Maße: 235x155x19 mm, Gewicht: 517 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Programmiersprachen Algol Bisimulation Program Specification Semantics Simulation Software Engineering algorithm algorithms automata computational structures model checking program semantics programming programming theory verification.
Jetzt bei Ebay:
