Bernd Finkbeiner | Akateeminen Kirjakauppa

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

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS - 13TH INTERNATIONAL SYMPOSIUM, ATVA 2015, SHANGHAI, CHINA, OCTOBER 12-15, 20

Bernd Finkbeiner; Geguang Pu; Lijun Zhang
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

49,60 €

RUNTIME VERIFICATION - 19TH INTERNATIONAL CONFERENCE, RV 2019, PORTO, PORTUGAL, OCTOBER 8–11, 2019, PROCEEDINGS

Bernd Finkbeiner; Leonardo Mariani
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

64,10 €

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION - 23RD INTERNATIONAL CONFERENCE, VMCAI 2022, PHILADELPHIA, PA, USA, JA

Bernd Finkbeiner; Thomas Wies
Springer Nature Switzerland AG (2022)
Pehmeäkantinen kirja

88,20 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : 30TH INTERNATIONAL CONFERENCE, TACAS 2024, HELD AS PART OF T

Bernd Finkbeiner (ed.); Laura Kovács (ed.)
Springer (2024)
Pehmeäkantinen kirja

40,00 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : 30TH INTERNATIONAL CONFERENCE, TACAS 2024, HELD AS PART OF T

Bernd Finkbeiner (ed.); Laura Kovács (ed.)
Springer (2024)
Pehmeäkantinen kirja

40,00 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : 30TH INTERNATIONAL CONFERENCE, TACAS 2024, HELD AS PART OF T

Bernd Finkbeiner (ed.); Laura Kovács (ed.)
Springer (2024)
Pehmeäkantinen kirja

40,00 €

RUNTIME VERIFICATION - FIRST INTERNATIONAL CONFERENCE, RV 2010, ST. JULIANS, MALTA, NOVEMBER 1-4, 2010. PROCEEDINGS

Howard Barringer; Ylies Falcone; Bernd Finkbeiner; Klaus Havelund; Insup Lee; Gordon Pace; Grigore Rosu; Oleg Sokolsky
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

49,60 €

FIELDS OF LOGIC AND COMPUTATION II - ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 75TH BIRTHDAY

Lev D. Beklemishev; Andreas Blass; Nachum Dershowitz; Bernd Finkbeiner; Wolfram Schulte
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

49,60 €

LAUTES DENKEN, STIMULATED RECALL UND DOKUMENTARISCHE METHODE - REKONSTRUKTIVE VERFAHREN IN DER FREMDSPRACHENLEHR- UND -LERNFORSC

Karin Aguado; Claudia Finkbeiner; Bernd Tesch
Peter Lang AG (2018)
Kovakantinen kirja

98,90 €

FIELDS OF LOGIC AND COMPUTATION III - ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 80TH BIRTHDAY

Andreas Blass; Patrick Cégielski; Nachum Dershowitz; Manfred Droste; Bernd Finkbeiner
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

49,60 €

Hae lisää...

Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

49,60 €

Springer International Publishing AG
Sivumäärä: 520 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2015
Julkaisuvuosi: 2015, 22.11.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.

The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus