IFIP Transactions C: Communication Systems: Formal Description Techniques, IV

IFIP Transactions C: Communication Systems: Formal Description Techniques, IV (eBook / PDF)

Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991

Keine Kommentare vorhanden
Jetzt ersten Kommentar schreiben!
Bewerten Sie jetzt diesen Artikel

Schreiben Sie den ersten Kommentar zu "IFIP Transactions C: Communication Systems: Formal Description Techniques, IV".

Kommentar verfassen
Formality is becoming accepted as essential in the development of complex systems such as multi-layer communications protocols and distributed systems. Formality is mandatory for mathematical verification, a procedure being imposed on...

Produkt empfehlen

2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Facebook senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
2 Klicks für mehr Datenschutz: Erst wenn Sie hier klicken, wird der Button aktiv und Sie können Ihre Empfehlung an Google+ senden. Schon beim Aktivieren werden Daten an Dritte übertragen – siehe i.
Wenn Sie diese Felder durch einen Klick aktivieren, werden Informationen an Facebook, Twitter oder Google in die USA übertragen und unter Umständen auch dort gespeichert. Näheres erfahren Sie durch einen Klick auf das i.


eBook84.43 €

Download bestellen
Sprache: Englisch

sofort als Download lieferbar

Bestellnummer: 63028708

Verschenken
Auf meinen Merkzettel

Das könnte Ihnen auch gefallen

Kommentare zu "IFIP Transactions C: Communication Systems: Formal Description Techniques, IV"

Ähnliche Artikel finden

0 Gebrauchte Artikel zu „IFIP Transactions C: Communication Systems: Formal Description Techniques, IV“

ZustandPreisPortoZahlungVerkäuferRating