Foundations of Software Science and Computational Structures Vladimiro Sassone
Titel: Foundations of Software Science and Computational Structures, Untertitel: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Einband: Taschenbuch, Autor: Vladimiro Sassone, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 540, Maße: 235x155x29 mm, Gewicht: 809 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines EDV / Theorie / Software-Entw. / Allgemeines Bisimulation Variable algorithms automata complexity computational structures formal methods logic logical foundations mathematical foundations model checking program analysis program logics programming theory proof theory.
Jetzt bei Ebay:
