Vor Ort
Merkzettel Warenkorb
Produktbild: Protocol Specification, Testing and Verification XIV
- 13%

Protocol Specification, Testing and Verification XIV

Aus der Reihe IFIP Advances in Information and Communication Technology
13% sparen

138,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.05.2013

Abbildungen

X, 404 p.

Herausgeber

S.T. Vuong + weitere

Verlag

Springer Us

Seitenzahl

404

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

633 g

Auflage

1995

Sprache

Englisch

ISBN

978-1-4757-6308-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.05.2013

Abbildungen

X, 404 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

404

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

633 g

Auflage

1995

Sprache

Englisch

ISBN

978-1-4757-6308-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Protocol Specification, Testing and Verification XIV
  • Preface. Committee members and invited speakers. List of referees. Full papers. Session One: FDTs and enhancements. Invited address I. Session Two: Verification methodology based on FDTs. Session Three: Testing - architecture, fault coverage and interoperability. Session Four: Protocol specification and design methodology. Invited address II - Abstract. Session Five: Testing - theoretical issues. Session Six: Verification methods. Short papers. Session Seven: Modelling and verification of realtime systems. Invited address III - Abstract. Session Eight: Testing - tools and methods. Session Nine: FDT-based design, specification and implementation. Index of contributors. Keyword index.