SULJE VALIKKO

avaa valikko

Antoine Rauzy | Akateeminen Kirjakauppa

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



Static Analysis - Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
Patrick Cousot; Moreno Falaschi; Gilberto File; Antoine Rauzy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1993)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Complex Systems Design & Management - Proceedings of the Third International Conference on Complex Systems Design & Management C
Marc Aiguier; Yves Caseau; Daniel Krob; Antoine Rauzy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Complex Systems Design & Management - Proceedings of the Third International Conference on Complex Systems Design & Management C
Marc Aiguier; Yves Caseau; Daniel Krob; Antoine Rauzy
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Frank Ortmeier; Antoine Rauzy
Springer International Publishing AG (2014)
Pehmeäkantinen kirja
47,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Complex Systems Design & Management : Proceedings of the 11th International Conference on Complex Systems Design & Management, C
Alain Dauron (ed.); Daniel Krob (ed.); Fabien Mangeant (ed.); Antoine Rauzy (ed.)
Springer (2024)
Kovakantinen kirja
197,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Static Analysis - Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 290 sivua
Asu: Pehmeäkantinen kirja
Painos: 1993
Julkaisuvuosi: 1993, 08.09.1993 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 724
This volume constitutes the proceedings of the third
International Workshop on Static Analysis (WSA`93), held in
Padova, Italy, in September 1993. The objective of the
international workshop series WSA is to serve as a forum for
the discussion of the various aspects of static analysis in
different programming paradigms. The clearly increasing
mumbers of submitted papers and workshop participants point
out the growing importance of static analysis techniques for
logical, functional, concurrent and parallel languages as
well as for parallel term rewriting systems.
This proceedings contains, besides the abstracts or full
papers of the invited talks given by Pascal Van Hentenryck,
Peter van Roy, and Paul Hudak, full versions of the 20
contributed papers selected from a total of 68 submissions
by an international program committee consisting of many
renown researchers in the field. The volume is organized in
sections on fixpoint computation, concurrency, parallelism,
transformation, logic programs, term rewriting systems,
strictness, reasoning about programs, and types.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Static Analysis - Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedingszoom
Näytä kaikki tuotetiedot
ISBN:
9783540572640
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste