Formal description techniques and protocol specification, testing and verification FORTE XI/PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3 - 6 November 1998, Paris, France

Formal description techniques and protocol specification, testing and verification FORTE XI/PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3 - 6 November 1998, Paris, France

Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Boston [u.a.] Kluwer 1998
Schlagworte:
Processamento de dados
Protocoles de réseaux d'ordinateurs - Congrès
Sistemas distribuidos
Traitement réparti - Congrès
Datenverarbeitung
Computer network protocols > Congresses
Electronic data processing > Distributed processing > Congresses
Formal methods (Computer science) > Congresses
Konferenzschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Ähnliche Einträge