SULJE VALIKKO

avaa valikko

Thomas Henzinger (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?



Embedded Software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Thomas A. Henzinger (ed.); Christoph M. Kirsch (ed.)
Springer (2001)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hybrid Systems III : Verification and Control
Rajeev Alur (ed.); Thomas A. Henzinger (ed.); Eduardo D. Sontag (ed.)
Springer (1996)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hybrid Systems: Computation and Control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998,
Thomas A. Henzinger (ed.); Shankar Sastry (ed.)
Springer (1998)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedin
Rajeev Alur (ed.); Thomas Henzinger (ed.)
Springer (1996)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Modeling and Analysis of Timed Systems : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8
Krishnendu Chatterjee (ed.); Thomas A. Henzinger (ed.)
Springer (2010)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Embedded Software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
49,60 €
Springer
Sivumäärä: 504 sivua
Asu: Pehmeäkantinen kirja
Painos: 2001
Julkaisuvuosi: 2001, 26.09.2001 (lisätietoa)
Kieli: Englanti
This volume contains the proceedings of EMSOFT 2001, the First International Workshop on Embedded Software. The workshop was organized October 8-10, 2001, at Tahoe City, California. The steering committee of the workshop has the following members: G' erard Berry (Esterel Technologies, France) Paul Hudak (Yale University, USA) Hermann Kopetz(Technical University of Vienna, Austria) Edward Lee (University of California, Berkeley, USA) Ragunathan Rajkumar (Carnegie Mellon University, USA) Alberto Sangiovanni-Vincentelli (University of California, Berkeley, USA) Douglas Schmidt (Defense Advanced Research Projects Agency, USA) Joseph Sifakis (Verimag Grenoble, France) The workshop was sponsored jointly by the DARPA Information Technology O?ce within the MobIES (Model-based Integration of Embedded Systems) p- gram (Dr. Janos Sztipanovits), and by the National Science Foundation (Dr. Helen Gill). The workshop URL is www. emsoft. org. Embedded software is software that interacts with physical processes. As - bedded systems increasingly permeate our daily lives on all levels, from micr- copic devices to international networks, the cost-e?cient development of reliable embedded software is one of the grand challenges in computer science today.
The purpose of the workshop is to bring together researchers in all areas of computer science that are traditionally distinct but relevant to embedded software devel- ment, and to incubate a research community in this way.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Embedded Software : First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedingszoom
Näytä kaikki tuotetiedot
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste