Operating Systems
Editat de E. Gelenbe, C. Kaiseren Limba Engleză Paperback – 1981
Preț: 324.81 lei
Preț vechi: 406.00 lei
-20% Nou
Puncte Express: 487
Preț estimativ în valută:
57.47€ • 66.95$ • 50.18£
57.47€ • 66.95$ • 50.18£
Carte tipărită la comandă
Livrare economică 19 ianuarie-02 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540068495
ISBN-10: 354006849X
Pagini: 324
Ilustrații: VIII, 310 p. 20 illus.
Dimensiuni: 170 x 244 x 18 mm
Greutate: 0.56 kg
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354006849X
Pagini: 324
Ilustrații: VIII, 310 p. 20 illus.
Dimensiuni: 170 x 244 x 18 mm
Greutate: 0.56 kg
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Correctness of realizations of levels of abstraction in Operating Systems.- A simulation model representing the OS/VS2 Release 2 Control Program.- Une analyse de systeme par typologie.- Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system.- The specification of process synchronization by path expressions.- A foreground-background time sharing queue with general service times.- Espace d'adressage et espace d'exécution du systeme gemau.- A new approach to avoidance of system deadlocks.- A program structure for error detection and recovery.- Analyse de quelques pannes d'un systeme d'exploitation.- An open operating system for a single-user machine.- Evaluation sur des modeles de comportement de programme de la taille d'un ensemble de travail.- Schedulers as enforces in synchronization processes.- Caractérisation fonctionnelle des systemes de fichiers.- Presentation of the control graph models.- The Edinburgh Multi-Access System scheduling and allocation procedures in the resident supervisor.