KIRJAUDU

ostoskori

avaa valikko

Tiziana Margaria-Steffen | Akateeminen Kirjakauppa

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

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: 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. 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. 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 €

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 €

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

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

86,40 €

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

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

51,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. PRACTICE : 11TH INTERNATIONAL SYMPOSIUM, ISOLA 2022, RHO

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

66,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. ADAPTATION AND LEARNING : 11TH INTERNATIONAL SYMPOSIUM,

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

71,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. VERIFICATION PRINCIPLES : 11TH INTERNATIONAL SYMPOSIUM,

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

86,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. SOFTWARE ENGINEERING : 11TH INTERNATIONAL SYMPOSIUM, ISO

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

71,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. RIGOROUS ENGINEERING OF COLLECTIVE ADAPTIVE SYSTEMS : 12

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

67,40 €

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. SOFTWARE ENGINEERING METHODOLOGIES : 12TH INTERNATIONAL

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

67,40 €

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 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : FIRST INTERNATIONAL WORKSHOP, TACAS '95, AARHUS, DENMARK, MA

Ed Brinksma (ed.); W. Rance Cleaveland (ed.); Kim G. Larsen (ed.); Tiziana Margaria (ed.); Bernhard Steffen (ed.)
Springer (1995)
Pehmeäkantinen kirja

51,40 €

FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING - 7TH INTERNATIONAL CONFERENCE, FASE 2004, HELD AS PART OF THE JOINT EUROPEAN CON

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

51,40 €

Hae lisää...

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, M

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

51,40 €

Springer
Sivumäärä: 443 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1996, 20.03.1996 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 1055

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.
The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus