All listings for this product
About this product
- DescriptionThis book details the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. Each chapter is supplemented with detailed bibliographic remarks and exercises of varying difficulty and scope.
- Author BiographyDr. Carlo A. Furia is a lecturer and researcher in the software engineering at ETH Zurich; his main research interests are within the area of formal methods for software engineering, including approaches to improving the quality, reliability, and correctness of software and software-intensive systems. Prof. Dino Mandrioli has been a professor of theoretical computer science at the Politecnico di Milano since 1992; his research interests are mainly in the field of theoretical computer science, software engineering and systems in real time. Prof. Angelo Morzenti is a professor at the Politecnico di Milano; his research interests are centered on languages, methods and tools for the specification, analysis, validation, verification and design of critical, real-time, distributed, embedded computer-based systems. Dr. Matteo Rossi is an assistant professor at the Politecnico di Milano; his research interests are in the area of formal methods for industrial safety-critical systems.
- Author(s)Angelo Morzenti,Carlo A. Furia,Dino Mandrioli,Matteo Rossi
- PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Date of Publication19/11/2012
- GenreComputing: Professional & Programming
- Series TitleMonographs in Theoretical Computer Science : An Eatcs Series
- Place of PublicationBerlin
- Country of PublicationGermany
- ImprintSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Content Notebiography
- Weight670 g
- Width155 mm
- Height235 mm
- Spine23 mm
Best selling in Computer & IT
Save on Computer & IT
- £49.61Trending at £52.72
- £14.78Trending at £15.30
- £17.71Trending at £19.33
- £18.74Trending at £21.54
- £14.78Trending at £15.24
- £17.03Trending at £18.54
This item doesn't belong on this page.
Thanks, we'll look into this.