KIRJAUDU

ostoskori

avaa valikko

Margaria Tiziana | Akateeminen Kirjakauppa

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

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. APPLICATION AREAS : 12TH INTERNATIONAL SYMPOSIUM, ISOLA

Tiziana Margaria (ed.); Bernhard Steffen (ed.)
Springer (2024)
Pehmeäkantinen kirja

51,40 €

CORRECT HARDWARE DESIGN AND VERIFICATION METHODS : 11TH IFIP WG 10.5 ADVANCED RESEARCH WORKING CONFERENCE, CHARME 2001 LIVINGSTO

Tiziana Margaria (ed.); Tom Melham (ed.)
Springer (2001)
Pehmeäkantinen kirja

51,40 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : 7TH INTERNATIONAL CONFERENCE, TACAS 2001 HELD AS PART OF THE

Tiziana Margaria (ed.); Wang Yi (ed.)
Springer (2001)
Pehmeäkantinen kirja

101,40 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : SECOND INTERNATIONAL WORKSHOP, TACAS '96, PASSAU, GERMANY, M

Tiziana Margaria (ed.); Bernhard Steffen (ed.)
Springer (1996)
Pehmeäkantinen kirja

51,40 €

SERVICES AND VISUALIZATION: TOWARDS USER-FRIENDLY DESIGN : ACOS'98, VISUAL'98, AIN'97, SELECTED PAPERS

Tiziana Margaria (ed.); Bernhard Steffen (ed.); Roland Rückert (ed.); Joachim Posegga (ed.)
Springer (1998)
Pehmeäkantinen kirja

51,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION : THIRD INTERNATIONAL SYMPOSIUM, ISOLA 2008, PORTO SANI,

Tiziana Margaria (ed.); Bernhard Steffen (ed.)
Springer (2008)
Pehmeäkantinen kirja

134,60 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION - 4TH INTERNATIONAL SYMPOSIUM ON LEVERAGING APPLICATIONS

Tiziana Margaria; Bernhard Steffen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

51,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION - 4TH INTERNATIONAL SYMPOSIUM ON LEVERAGING APPLICATIONS

Tiziana Margaria; Bernhard Steffen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

101,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION - 5TH INTERNATIONAL SYMPOSIUM, ISOLA 2012, HERAKLION, CRE

Tiziana Margaria; Bernhard Steffen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

51,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION - 5TH INTERNATIONAL SYMPOSIUM, ISOLA 2012, HERAKLION, CRE

Tiziana Margaria; Bernhard Steffen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja

51,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES : 7TH INTERNATIONAL SYMPOSIUM, I

Tiziana Margaria (ed.); Bernhard Steffen (ed.)
Springer (2016)
Pehmeäkantinen kirja

101,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS : 7TH INTERNATIO

Tiziana Margaria (ed.); Bernhard Steffen (ed.)
Springer (2016)
Pehmeäkantinen kirja

51,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. TECHNOLOGIES FOR MASTERING CHANGE - 6TH INTERNATIONAL SY

Tiziana Margaria; Bernhard Steffen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja

51,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. SPECIALIZED TECHNIQUES AND APPLICATIONS - 6TH INTERNATIO

Tiziana Margaria; Bernhard Steffen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja

51,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. MODELING : 8TH INTERNATIONAL SYMPOSIUM, ISOLA 2018, LIMA

Tiziana Margaria (ed.); Bernhard Steffen (ed.)
Springer (2018)
Pehmeäkantinen kirja

51,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. VERIFICATION - 8TH INTERNATIONAL SYMPOSIUM, ISOLA 2018,

Tiziana Margaria; Bernhard Steffen
Springer Nature Switzerland AG (2018)
Pehmeäkantinen kirja

51,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. INDUSTRIAL PRACTICE : 8TH INTERNATIONAL SYMPOSIUM, ISOLA

Tiziana Margaria (ed.); Bernhard Steffen (ed.)
Springer (2018)
Pehmeäkantinen kirja

51,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS : 8TH INTERNATIONAL SYMPOSIUM, ISOLA

Tiziana Margaria (ed.); Bernhard Steffen (ed.)
Springer (2018)
Pehmeäkantinen kirja

51,40 €

MODELS, MINDSETS, META: THE WHAT, THE HOW, AND THE WHY NOT? - ESSAYS DEDICATED TO BERNHARD STEFFEN ON THE OCCASION OF HIS 60TH B

Tiziana Margaria; Susanne Graf; Kim G. Larsen
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

51,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: APPLICATIONS : 9TH INTERNATIONAL SYMPOSIUM ON LEVERAGING

Tiziana Margaria (ed.); Bernhard Steffen (ed.)
Springer (2020)
Pehmeäkantinen kirja

51,40 €

Hae lisää...

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas : 12th International Symposium, ISoLA

Tiziana Margaria (ed.), Bernhard Steffen (ed.)

51,40 €

Springer
Sivumäärä: 210 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2024, 26.10.2024 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 15223

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus