• Produktbild: Protocol Specification, Testing and Verification XV
  • Produktbild: Protocol Specification, Testing and Verification XV

Protocol Specification, Testing and Verification XV

234,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.11.1995

Herausgeber

Piotr Dembinski + weitere

Verlag

Springer Us

Seitenzahl

455

Maße (L/B/H)

24,1/16/3 cm

Gewicht

869 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-0-412-71620-1

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.11.1995

Herausgeber

Verlag

Springer Us

Seitenzahl

455

Maße (L/B/H)

24,1/16/3 cm

Gewicht

869 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-0-412-71620-1

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

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 XV
  • Produktbild: Protocol Specification, Testing and Verification XV
  • Preface. Committee members and invited speakers. List of referees. Specification and verification: time-dependent analysis. Invited paper. Specification of concurrent systems. Testing. Specification and verification: temporal approach. Validation and testing. Specification and analysis. Verification: model checking. Invited paper. High speed/multimedia. Towards implementation. Index of contributors. Keyword index.