Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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: 19111 HUF
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

130 b

19 111 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Zniknięty ksiądz. Moja historia Marcin Adamiec

Paperback

3 633 Ft

Druhá tvár Ashley Audrain

Hardback

1 363 Ft

Mein Schulgeist Hanako - Artbook AidaIro

Hardback

10 436 Ft

Najdi svůj styl Alexandra Fráňová

Hardback

892 Ft

Smart Games Dinozaury Mystic Islands

Game

10 741 Ft

Tantra-Yoga Kalashatra Govinda

Hardback

8 883 Ft

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

Paperback

4 308 Ft

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

Paperback

16 972 Ft

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