Formal Description Techniques and Protocol Specification, Testing and Verification formatIsbn:Hardcover - 9780412820601 studiert und versucht nicht unterzugehen

studiert und versucht nicht unterzugehen

Fortgeschrittene IT-Anwendungen sind in der Anlagebratung der 500 größten Kreditinstitute in Deutschland bisher noch nicht auf breiter Basis im Einsatz

Trotz der weiten Verbreitung solcher Innovationskooperationen werden deren Ziele häufig nicht erreicht

NC Secretary General

Die Autorin notiert Historien aus der Zukunft und knüpft dabei an den Verwerfungslinien der Gegenwart an: "Es ist wahr

Formal Description Techniques and Protocol Specification, Testing and Verification formatIsbn:Hardcover - 9780412820601 studiert und versucht nicht unterzugehenFORTE PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN. 1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state of the art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers. FORTE X PSTV XVII 97 FORTE X PSTV XVII 97