Articles liés à Formal Description Techniques IX: Theory, application...

Formal Description Techniques IX: Theory, application and tools - Couverture souple

 
9781504128834: Formal Description Techniques IX: Theory, application and tools
Couverture souple
ISBN 10 : 1504128834 ISBN 13 : 9781504128834
Editeur : Springer-Verlag New York Inc., 1997

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

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

Éditeur
Springer-Verlag New York Inc.
Date d'édition
1997
Langue
anglais
ISBN 10 
1504128834
ISBN 13 
9781504128834
Reliure
Broché
Nombre de pages
518
Éditeur
Gotzhein R., Bredereke J.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9780412794902: Formal Description Techniques IX: Theory, Application and Tools : Ifip Tc6/6.1 International Conference on Formal Description Techniques Ix/Protocol Specification, Testing and verifica

Edition présentée

ISBN 10 :  041279490X ISBN 13 :  9780412794902
Editeur : Chapman and Hall, 1996
Couverture rigide