Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230) - Image 1

£42.77

Springer Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)

Name: Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)
Brand: Springer
Price: 42.77 GBP
Availability: InStock

Architecture & Microprocessors

It has never been this cheap. We have no record of a lower price.

£43 today · cheaper than every other day in the last 1 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 7 days • 7 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 7 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £43 (4 days, 57.1%)

Price range: £43 - £50

Price levels: 2 different prices over 7 days

Description

This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems. Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991, since 2000 he has been Chair in Embedded Systems at Uppsala University. He has not only pushed the boundaries of theoretical research but also pioneered practical implementations in software tools that have had a profound impact on both academia and industry. He codeveloped the UPPAAL tool, the foremost system for verifying timed automata, now widely used in both academia and industry. Over the years he expanded his research to include scheduling theories, and he developed the TIMES and TIMES-Pro tools, which enhanced the analysis and implementation of real-time systems. His innovative work has significantly influenced the design and verification of complex, multicore real-time systems. Among many awards, honours, and responsibilities, Wang received a grant from the Knut and Alice Wallenberg Foundation, an ERC Advanced Grant from the European Research Council in 2019, Uppsala University’s Rudbeck Medal, the IEEE TCRTS Award for technical achievement and leadership in real-time computing, and the CAV Award; he is a Fellow of the ACM and the IEEE, and a member of the Royal Society of Sciences in Uppsala and the Academia Europaea; and he has chaired major software engineering and embedded system conferences and served on ACM SIGBED and IEEE TCRTS executive committees. His guidance and mentorship have shaped the careers of many researchers and professionals in the field, and the contributions in this volume celebrate his enduring impact.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031737504
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 05 October 2024
Listed Since: 24 August 2024

Barcode

No barcode data available

Springer Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Real-Time Embedded Systems (Quantitative Software Engineering Series)

Edsger Wybe Dijkstra: His Life, Work, and Legacy (ACM Books)

Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

Nature-Inspired Networking: Theory and Applications

Springer Advances in Verification of Time Petri Nets and TA

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Automata, Languages and Programming: 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II: 5556 (Lecture Notes in Computer Science, 5556)

Formal Methods in Computer Science (Textbooks in Mathematics)

Understanding Concurrent Systems (Texts in Computer Science)

The Unknown Component Problem: Theory and Applications

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers: 2294 (Lecture Notes in Computer Science, 2294)

Real-Time Systems: Formal Specification and Automatic Verification

Computation Engineering: Applied Automata Theory and Logic

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 2988)

Reconfigurable and Adaptive Computing: Theory and Applications

Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)

Real-Time Systems Design and Analysis: Tools for the Practitioner

Principles of Cyber-Physical Systems

CRC Press Reconfigurable and Adaptive Computing Book

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday: 5065 (Lecture Notes in Computer Science, 5065)

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers