Formal Description Techniques and Protocol Specification, Testing and Verification - Softcover

9781475752595: Formal Description Techniques and Protocol Specification, Testing and Verification

Softcover

ISBN 10: 1475752598 ISBN 13: 9781475752595

Verlag: Springer, 2014

Invited talk I: network and application for new generation. Testing theory for concurrent systems. MSC and ODP. LOTOS and extension. Verification technique. Conformance testing. Invited talk II: the future information technology and its impact to the society. Real time systems. Languages and applications. Industrial usage reports. Invited talk III: distributed object consistency. Concurrent systems.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Springer
Erscheinungsdatum: 2014
Sprache: Englisch
ISBN 10: 1475752598
ISBN 13: 9781475752595
Einband: Taschenbuch
Anzahl der Seiten: 570
Herausgeber: Togashi Atsushi, Mizuno Tadanori, Shiratori Norio
Kontakt zum Hersteller: ROXIO
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Deutschland