El libro está agotado actualmente
Parámetros
- 370 páginas
- 13 horas de lectura
Más información sobre el libro
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
Compra de libros
On a method of multiprogramming, Wim H. J. Feijen
- Idioma
- Publicado en
- 1999
- Encuadernación
- (Tapa dura)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.
- Título
- On a method of multiprogramming
- Idioma
- Inglés
- Autores
- Wim H. J. Feijen
- Editorial
- Springer
- Publicado en
- 1999
- Formato
- Tapa dura
- Páginas
- 370
- ISBN10
- 038798870X
- ISBN13
- 9780387988702
- Serie
- Etiquetas
- EE.UU., Desarrollo, Sistemas operativos, Algoritmos, Semántica
- Descripción
- Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.