LIBRISTO
LIBROAMANTO
mandatory
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
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 Bpost point 7.99 Bpost 7.49 DPD point 3.49 GLS courier 4.99

Free delivery for orders over 69.99 euro.

From Programs to Systems - The Systems Perspective in Computing

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

Language EnglishEnglish
Book Paperback
Book From Programs to Systems - The Systems Perspective in Computing Saddek Bensalem
Libristo code: 02530702
"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in ho... Full description
? points 120 b
49.56
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns


Customers also purchased


AMOR PROGRAMABLE 01 Kayoru / Book Paperback
common.buy 10.71
Najdi svůj styl Alexandra Fráňová / Book Hardback
common.buy 2.52
Mein Schulgeist Hanako - Artbook AidaIro / Book Hardback
common.buy 26.90
Top
Druhá tvár Ashley Audrain / Book Hardback
common.buy 3.83
Zniknięty ksiądz. Moja historia Marcin Adamiec / Book Paperback
common.buy 9.80
Tantra-Yoga Kalashatra Govinda / Book Hardback
common.buy 21.64

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


Top
Sketching The Basics Koos Eissen / Book Paperback
common.buy 13.54
Replay Ken Grimwood / Book Paperback
common.buy 13.75
Top
Oxford History of Poland-Lithuania Robert I. Frost / Book Paperback
common.buy 50.67
Ignite Angel Payne / Book Paperback
common.buy 14.86
Top
Star Wars - The Rebel Files Daniel Wallace / Book Hardback
common.buy 16.07
At Home in the English Countryside Susanna Salk / Book Hardback
common.buy 44.20
Cats & Kittens Marcel George / Printed items Cards
common.buy 15.97
Top
World's End Harem, Vol. 2 Kotarou Shouno / Book Paperback
common.buy 10.61
Possessed Elif Batuman / Book Paperback
common.buy 11.83
Knights and Castles: Castle Life Laura Durman / Book Paperback
common.buy 11.22
Top
Acupuncture Points on the Horse Dr Gene C Bruno / Book Paperback
common.buy 82.33
Educated Tara Westover / Book Paperback
common.buy 23.15
Excellence in People Analytics David Green / Book Paperback
common.buy 45.00
Top
A Sign of Affection 1 Suu Morishita / Book Paperback
common.buy 11.32
Lucky List S&S Books for Young Readers Author To Be Announced / Book Paperback
common.buy 8.59
Top
Natural Magick LINDSAY SQUIRE / Book Paperback
common.buy 16.07
Good Enough Job Simone Stolzoff / Book Paperback
common.buy 18.10
ONE YEAR'S OUTLINES OF WORK IN FIRST PRI FLORA JULIETT COOKE / Book Hardback
common.buy 29.73
Fault-tolerant Control Systems Hassan Noura / Book Paperback
common.buy 102.97

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?