Operating Systems
Editat de E. Gelenbe, C. Kaiseren Limba Engleză Paperback – 1981
Preț: 325.81 lei
Preț vechi: 407.26 lei
-20%
Puncte Express: 489
Carte tipărită la comandă
Livrare economică 07-21 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.