Verifying Concurrent Processes Using Temporal Logic de B. T. Hailpern

Verifying Concurrent Processes Using Temporal Logic: Lecture Notes in Computer Science, cartea 129

Autor B. T. Hailpern

en Limba Engleză Paperback – mar 1982

Din seria Lecture Notes in Computer Science

Preț: 328^.60 lei

Preț vechi: 410^.75 lei
-20% Nou

Puncte Express: 493

:
62^.88€ • 65^.25$ • 52^.56£

Carte tipărită la comandă

Livrare economică 17-31 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540112051
ISBN-10: 3540112057
Pagini: 220
Ilustrații: VIII, 209 p.
Dimensiuni: 155 x 233 x 12 mm
Greutate: 0.31 kg
Ediția:1982
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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