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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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: 51.69 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

127 b

51.69 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

Zniknięty ksiądz. Moja historia Marcin Adamiec

Paperback

10.69 €

Druhá tvár Ashley Audrain

Hardback

4.09 €

Mein Schulgeist Hanako - Artbook AidaIro

Hardback

30.00 €

Najdi svůj styl Alexandra Fráňová

Hardback

2.59 €

Smart Games Dinozaury Mystic Islands

Game

31.19 €

Tantra-Yoga Kalashatra Govinda

Hardback

25.00 €

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

Paperback

11.59 €

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

Paperback

45.79 €

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