Foundations of Software Science and Computation Structures Marino Miculan
Titel: Foundations of Software Science and Computation Structures, Untertitel: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, Einband: Taschenbuch, Autor: Marino Miculan, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 432, Maße: 235x155x24 mm, Gewicht: 651 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines EDV / Theorie / Software-Entw. / Software-Design Software Engineering automata complexity complexity theory computational structures formal methods formal verification logic mathematical foundations model checking petri net programming programming language programming theory verification.
Jetzt bei Ebay:
