Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

*Gültig bis 20.09.2026 auf (fast) alles. Ausgeschlossen sind Smartboxen, Zeitschriften, Tickets, Lebensmittel, Gaming-Elektroartikel, Tinte/Toner, Gutscheine, Geschenkkarten, Blumen und Abos | Einlösbar in allen Buchhandlungen von Orell Füssli, Barth Bücher, Buchladen Rapunzel, Schuler Orell Füssli, Stauffacher und ZAP unter Vorweisung des Gutscheins, auf www.orellfüssli.ch durch Eingabe des Gutscheincodes. Beim Service „eBooks verschenken“ und bei eBook-Käufen via eReader nicht einlösbar | Mindesteinkaufswert: Fr. 100.- | Nicht mit anderen Rabatten kumulierbar.
  • Produktbild: Protocol Specification, Testing and Verification XV
  • Produktbild: Protocol Specification, Testing and Verification XV

Protocol Specification, Testing and Verification XV

Aus der Reihe IFIP Advances in Information and Communication Technology

Fr. 253.00

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.11.1995

Abbildungen

XI, 455 p.

Herausgeber

Piotr Dembinski + weitere

Verlag

Springer Us

Seitenzahl

455

Maße (L/B/H)

24.1/16/3 cm

Gewicht

869 g

Auflage

1995 edition

Sprache

Englisch

ISBN

978-0-412-71620-1

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.11.1995

Abbildungen

XI, 455 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

455

Maße (L/B/H)

24.1/16/3 cm

Gewicht

869 g

Auflage

1995 edition

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.