Libros bestsellers hasta 50% dcto  Ver más

menu

0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada From Programs to Systems - the Systems Perspective in Computing: Etaps Workshop, fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings (Lecture Notes in Computer Science) (in English)
Type
Physical Book
Publisher
Author
Year
2014
Language
English
Pages
292
Format
Paperback
ISBN13
9783642548475
Edition No.
2014
Categories

From Programs to Systems - the Systems Perspective in Computing: Etaps Workshop, fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings (Lecture Notes in Computer Science) (in English)

Saddek Bensalem (Author) · Springer · Paperback

From Programs to Systems - the Systems Perspective in Computing: Etaps Workshop, fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings (Lecture Notes in Computer Science) (in English) - Saddek Bensalem

Physical Book

$ 52.09

$ 54.99

You save: $ 2.90

5% discount
Envío gratis a todo Estados Unidos
  • Condition: New

Choose the list to add your product or create one New List

Go to My Wishlists
It will be shipped from our warehouse between Monday, May 20 and Tuesday, May 21.
You will receive it anywhere in United States between 1 and 3 business days after shipment.

Synopsis "From Programs to Systems - the Systems Perspective in Computing: Etaps Workshop, fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings (Lecture Notes in Computer Science) (in English)"

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

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews