Formal Methods and Software Engineering

Erscheinungsdatum: 24.10.2006, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods and Software Engineering, Titelzusatz: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, Auflage: 2006, Redaktion: He, Jifeng // Liu, Zhiming, Verlag: Springer Berlin Heidelberg // Springer Berlin, Imprint: Programming and Software Engineering, Sprache: Englisch, Schlagworte: Automatentheorie // EDV // Theorie // Software-Entw // Software Engineering // UML // XML // Extensible Markup Language // Theoretische Informatik, Rubrik: Programmiersprachen, Seiten: 796, Herkunft: DEUTSCHLAND (DE), Reihe: Programming and Software Engineering (Nr. 4260), Informationen: Paperback, Gewicht: 1183 gr, Verkäufer: averdo