Principles Of Systems Design : Essays De
Raskin, Jean-fran Oi
Venduto da Kennys Bookstore, Olney, MD, U.S.A.
Venditore AbeBooks dal 9 ottobre 2009
Nuovi - Brossura
Condizione: Nuovo
Quantità: 15 disponibili
Aggiungere al carrelloVenduto da Kennys Bookstore, Olney, MD, U.S.A.
Venditore AbeBooks dal 9 ottobre 2009
Condizione: Nuovo
Quantità: 15 disponibili
Aggiungere al carrelloCodice articolo V9783031223365
This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his efforts and example over many years.
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.
After studies at Kepler University in Linz and the University of Delaware, Tom’s Ph.D. work in Stanford led to the foundations of models and analysis techniques for real-time systems. The thesis is representative of his entire research career: elegant, deep theoretical results with clear application potential. Tom spent time at the IMAG Laboratory in Grenoble, Cornell, UC Berkeley, EPFL, and the Max Planck Institute for Informatics in Saarbrücken. In 2009 he became the founding President of the Institute of Science and Technology Austria, which under his leadership has become a world-class interdisciplinary research institute.
Tom Henzinger is one of the leading researchers in computer-aided verification. He developed influential models and tools for the design of reactive, timed, and hybrid systems. This laid the theoretical foundation for verifying multi-agent, real-time, and embedded software, extending automata, logics, and verification algorithms from finite-state reactive systems to cyber-physical systems. He has made deep contributions in areas such as software model checking; quantitative notions of correctness and robustness measures for software; graph games for the algorithmic synthesis of control systems; formal methods for increasing trust in machine-learned systems; and executable symbolic models for biological systems.
In all his roles, Tom has promoted excellent science, characterized by intellectual rigor, vision, stimulating collaborations, and elegant communication. This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his efforts and example over many years.
---
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Visita la pagina della libreria
We guarantee the condition of every book as it's described on the Abebooks websites.
If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date.
For any queries please use the contact seller link or send an email to books@kennys.ie
Conor Kenny
All books securely packaged. Some books ship from Ireland.
| Quantità dell?ordine | Da 14 a 20 giorni lavorativi | Da 13 a 14 giorni lavorativi |
|---|---|---|
| Primo articolo | EUR 9.03 | EUR 18.05 |
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.