Ausverkauft, aber heiß begehrt!

Liegt es in deinem Regal?Verdiene zwischen € 0,25 und € 0,74 beim Verkauf dieses Buches.

Lecture Notes in Computer Science

Autor*innen

B.T. Hailpern

Parameter

Mehr zum Buch

This work presents a technique for proving safety and liveness properties of parallel programs. It describes new tools for verifying programs and heuristics for developing proofs.

Buchkauf

Lecture Notes in Computer Science, B.T. Hailpern

Sprache
Erscheinungsdatum: 1982
product-detail.submit-box.info.binding: (Paperback)

Wir benachrichtigen dich per E-Mail.

Lieferung

Gratis Versand ab 16,99 € in ganz Österreich! Mehr Infos.

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben

Ausgabe-DetailsFeedback senden

Titel: Lecture Notes in Computer Science
Sprache: Englisch
Autor*innen: B.T. Hailpern
Verlag: Springer Science & Business Media
Erscheinungsdatum: 1982
Einband: Paperback
ISBN10: 3540112057
ISBN13: 9783540112051
Reihe
Schlagwörter: Sachbücher, Technologie & Industrie, Computer & Internet
Beschreibung: This work presents a technique for proving safety and liveness properties of parallel programs. It describes new tools for verifying programs and heuristics for developing proofs.