Foundations of Software Science and Computation Structures Uffe Engberg
Titel: Foundations of Software Science and Computation Structures, Untertitel: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, Einband: Taschenbuch, Autor: Uffe Engberg, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 456, Maße: 235x155x25 mm, Gewicht: 686 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Informatik Software Engineering computational structures formal methods formal verification logical foundations mathematical foundations model checking program analysis program logics programming theory software science software technology structured analysis verification.
Jetzt bei Ebay:
