Formal Methods for Distributed System Development

FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time...
Voraussichtlich lieferbar in 5 Tag(en)
versandkostenfrei

Bestellnummer: 23894859

Buch251.90
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 5 Tag(en)
versandkostenfrei

Bestellnummer: 23894859

Buch251.90
Jetzt vorbestellen
th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV XX) was celebrated by the year 2000 edition of the Conference, which was held for the first time...

Kommentar zu "Formal Methods for Distributed System Development"

Andere Kunden kauften auch

  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich