Artículos relacionados a On a Method of Multiprogramming (Monographs in Computer...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 39,73
EUR 10,22 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para On a Method of Multiprogramming (Monographs in Computer...
Imagen del vendedor
On a Method of Multiprogramming (Monographs in Computer Science)
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
1999. 390 p. Unread book. Like new. Minimum traces of storage. --- Ungelesenes Buch in neuwertigem Zustand. Minimale Lagerspuren. 9780387988702 Sprache: Englisch Gewicht in Gramm: 680 Hardcover: 15.6 x 2.2 x 23.4 cm. Nº de ref. del artículo: 200345
Cantidad disponible: 1 disponibles
Imagen de archivo
On a Method of Multiprogramming
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 396 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Nº de ref. del artículo: 7551964
Cantidad disponible: 1 disponibles
Imagen de archivo
On a Method of Multiprogramming
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 396. Nº de ref. del artículo: 26295939
Cantidad disponible: 1 disponibles
Imagen de archivo
On a Method of Multiprogramming
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 396. Nº de ref. del artículo: 18295945
Cantidad disponible: 1 disponibles
Imagen de archivo
On A Method Of Multiprogramming
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-89342
Cantidad disponible: 1 disponibles
Imagen de archivo
On a Method of Multiprogramming (Monographs in Computer Science)
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
Nº de ref. del artículo: SHUB90488
Cantidad disponible: 1 disponibles
Imagen de archivo
On A Method Of Multiprogramming
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Brand New. New. US edition. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-90488
Cantidad disponible: 1 disponibles
Imagen de archivo
On a Method of Multiprogramming (Monographs in Computer Science)
Librería: BennettBooksLtd, North Las Vegas, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-038798870X
Cantidad disponible: 1 disponibles
Imagen del vendedor
On a Method of Multiprogramming
Publicado por
Springer New York, 1999
ISBN 10: 038798870X
ISBN 13: 9780387988702
Nuevo
Kartoniert / Broschiert
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Owick. Nº de ref. del artículo: 5913543
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
On a Method of Multiprogramming
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 672851-n
Cantidad disponible: Más de 20 disponibles