SULJE VALIKKO

avaa valikko

Marsha Chechik | Akateeminen Kirjakauppa

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



Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European Co
Marsha Chechik; Martin Wirsing
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of t
Marsha Chechik; Jean-François Raskin
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2016)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Marsha Chechik (ed.); Joost-Pieter Katoen (ed.); Martin Leucker (ed.)
Springer (2023)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
CONCUR 2008 - Concurrency Theory - 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
Franck van Breugel; Marsha Chechik
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18,
Sandrine Blazy; Marsha Chechik
Springer International Publishing AG (2016)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European Co
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 488 sivua
Asu: Pehmeäkantinen kirja
Painos: 2009 ed.
Julkaisuvuosi: 2009, 09.03.2009 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues
This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with 2 tool demonstrations were carefully reviewed and selected from 123 regluar and 9 tool paper submissions. The topics addressed are model-driven development, synthesis and adaptation, modeling, testing and debugging, model analysis, patterns, security, queries and error handling, and tools (demos) and program analysis.

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
Fundamental Approaches to Software Engineering - 12th International Conference, FASE 2009, Held as Part of the Joint European Cozoom
Näytä kaikki tuotetiedot
ISBN:
9783642005923
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste