Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktGeschenkefinderGutscheineFirmenkundschaftFilialen
0
Erweiterte Suche
💥10% auf Kinder- & Jugendbücher und 20% auf ausgewählte E-Reader
Jetzt profitieren

Verifying Concurrent Processes Using Temporal Logic

B. T. Hailpern

(0)
Erste Bewertung abgeben
Inhalt Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclus...
10% Rabatt auf Kinder- und Jugendbücher

Tiefpreis

CHF84.80

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

Inhalt
Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.

Produktinformationen

Titel:
Verifying Concurrent Processes Using Temporal Logic
Untertitel:
Lecture Notes in Computer Science 129
Autor:
B. T. Hailpern
EAN:
9783540112051
ISBN:
3540112057
Format:
Kartonierter Einband
Herausgeber:
Springer Berlin Heidelberg
Genre:
Informatik
Veröffentlichung:
01.03.1982
Anzahl Seiten:
220
Gewicht:
341g
Größe:
H235mm x B155mm x T13mm
Jahr:
1982
Untertitel:
Englisch
Auflage:
1982
Lesemotiv:
Verstehen

Bewertungen & Rezensionen

Gesamtübersicht

(0)
(0)
(0)
(0)
(0)

Meine Bewertung

Mehr entdecken: IT & Informatik

Allgemein & Lexika, Anwendungs-Software, Informatik, Programmiersprachen