From Programs to Systems - The Systems Perspective in Computing

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

Häftad, Engelska, 2014

Av Saddek Bensalem, Yassine Lakhnech, Axel Legay

699 kr

Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
"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.

Produktinformation

  • Utgivningsdatum2014-03-11
  • Mått155 x 235 x 16 mm
  • Vikt446 g
  • FormatHäftad
  • SpråkEngelska
  • SerieTheoretical Computer Science and General Issues
  • Antal sidor279
  • Upplaga2014
  • FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN9783642548475

Tillhör följande kategorier

Du kanske också är intresserad av

Runtime Verification

Runtime Verification

Axel Legay, Saddek Bensalem

729 kr

Runtime Verification

Runtime Verification

Saddek Bensalem, Doron A. Peled, Doron a. Peled

729 kr

Verification and Evaluation of Computer and Communication Systems

Verification and Evaluation of Computer and Communication Systems

Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez

729 kr

Hitster - Christmas

Hitster - Christmas

Jumbo

219 kr259 kr

Snön faller tät på Mistletoe Square
  • Nyhet

Snön faller tät på Mistletoe Square

Ali McNamara

79 kr125 kr

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Del 3253

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Yassine Lakhnech, Sergio Yovine

729 kr

Tool Support for System Specification, Development and Verification

Tool Support for System Specification, Development and Verification

Rudolf Berghammer, Yassine Lakhnech

729 kr

Hitster Original

Hitster Original

Jumbo

299 kr379 kr

Concurrency Verification
Del 54

Concurrency Verification

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, The Netherlands) Boer, Frank de (Universiteit Utrecht, The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen, Grenoble) Lakhnech, Yassine (Universite Joseph Fourier, The Netherlands) Poel, Mannes (University of Twente, Enschede, The Netherlands) Zwiers, Job (University of Twente, Enschede, Willem-Paul De Roever, Willem-Paul de Roever, Frank de Boer

3 909 kr

Concurrency Verification
Del 54

Concurrency Verification

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, The Netherlands) Boer, Frank de (Universiteit Utrecht, The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen, Grenoble) Lakhnech, Yassine (Universite Joseph Fourier, The Netherlands) Poel, Mannes (University of Twente, Enschede, The Netherlands) Zwiers, Job (University of Twente, Enschede, Willem-Paul De Roever, De Roever Willem-Paul, De Boer Frank, de Roever Willem-Paul, de Boer Frank, Hanneman Ulrich

1 309 kr