Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

From Programs to Systems - The Systems Perspective in Computing

Name: From Programs to Systems - The Systems Perspective in Computing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02530702
Price: 54.29 EUR
Availability: InStock
Author: Saddek Bensalem
ISBN: 9783642548475

ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Saddek Bensalem

Yassine Lakhnech

Axel Legay

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 02530702

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febrero 2014

"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in ho... Descripción completa

Código Libristo: 02530702

133 b

54.29 €

Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Nouveau contexte, nouveaux enjeux, quelle stratégie pour les ESAT? Sylvie Combe

Tapa blanda

48.29 €

Mein Schulgeist Hanako - Artbook AidaIro

Tapa dura

29.69 €

Druhá tvár Ashley Audrain

Tapa dura

4.19 €

Zniknięty ksiądz. Moja historia Marcin Adamiec

Tapa blanda

10.39 €

Tantra-Yoga Kalashatra Govinda

Tapa dura

26.59 €

Combats les 7 géants: et prends possession de la promesse Elisee Lompo

Tapa blanda

11.59 €

Smart Games Dinozaury Mystic Islands

Juego

30.49 €

Najdi svůj styl Alexandra Fráňová

Tapa dura

2.69 €

Le Code Du Buveur d'Eau Au Mont-Dore, Par Le Dr Jules Mascarel. 2e Edition Mascarel-J

Tapa blanda

14.19 €

"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014. §Joseph Sifakis is an active and visionary researcher in the area of system design. He believes that endowing design with scientific foundations is at least of equal importance as the quest for scientific truth in natural sciences. Previously, he has worked on Petri nets, concurrent systems, program semantics, verification, embedded systems, real-time systems, and formal methods more generally. The book contains 18 papers covering various topics related to the extension of programming theory to systems.