Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . (Lecture Notes in Computer Science, 9104)

ISBN 10: 3319189409 ISBN 13: 9783319189406

Editorial: Springer, 2015

Idioma: Ingl�s

Usado Condici�n: Like New Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Librer�a: Mispah books, Redhill, SURRE, Reino Unido

Calificaci�n del vendedor: 4 de 5 estrellas

Vendedor de AbeBooks desde 15 de abril de 2021

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Precio: EUR 121,42 Convertir moneda

EUR 29,47 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Like New. N� de ref. del art�culo ERICA79033191894096

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Formal Methods for Multicore Programming: ...

Editorial: Springer

A�o de publicaci�n: 2015

Encuadernaci�n: Paperback

Condici�n: Like New

Tipo de libro: book

Acerca de

Sinopsis:

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and type systems.

Rese�a del editor:

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Ver la p�gina web de la librer�a