Formal Description Techniques and Protocol Specification, Testing and Verification - Couverture souple

 
9781475752595: Formal Description Techniques and Protocol Specification, Testing and Verification
Couverture souple
ISBN 10 : 1475752598 ISBN 13 : 9781475752595
Editeur : Springer, 2014

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
1475752598
ISBN 13 
9781475752595
Reliure
Broché
Nombre de pages
570
Éditeur
Togashi Atsushi, Mizuno Tadanori, Shiratori Norio
Coordonnées du fabricant
KINESIS
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Allemagne

Autres éditions populaires du même titre

9780412820601: Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII '97

Edition présentée

ISBN 10 :  0412820609 ISBN 13 :  9780412820601
Editeur : Chapman and Hall, 1997
Couverture rigide