Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

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: 49.67 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

Language

English

Book Paperback

Libristo code: 02530702

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2014

"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in ho... Full description

Libristo code: 02530702

120 b

49.67 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Druhá tvár Ashley Audrain

Hardback

3.84 €

Gilles Olry à bicyclette Sageloli

Paperback

13.37 €

Das Prinzip des geistigen Erfolgs Thomas Görden

Paperback

13.78 €

Zniknięty ksiądz. Moja historia Marcin Adamiec

Paperback

9.82 €

À la découverte de ta commune ... - pour comprendre son rôle et son fonctionnement Prost

Paperback

4.86 €

HARRY POTTER Y EL PRISIONERO DE AZKABAN (HARRY POTTER 3) ROWLING

Paperback

21.69 €

Mein Schulgeist Hanako - Artbook AidaIro

Hardback

26.96 €

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

Paperback

43.89 €

Tantra-Yoga Kalashatra Govinda

Hardback

21.69 €

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

Paperback

11.24 €

Irrationaler Umgang mit Geld am Beispiel der Trinkgeldkultur Markus Dobler

Paperback

80.19 €

AVIONES MUY ANTIGUOS Y OTRAS AERONAVES Apex

Hardback

19.86 €

AMOR PROGRAMABLE 01 Kayoru

Paperback

10.84 €

Najdi svůj styl Alexandra Fráňová

Hardback

2.52 €

Les Pupazzi de l'Enfance Lemercier De Neuville-L

Paperback

15.60 €

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

Paperback

13.68 €

Czytanie ze zrozumieniem Testy sprawdzające część 1 Klimkiewicz Danuta

Paperback

1.41 €

"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.