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

Tekijä: Bernd Finkbeiner (ed.); Geguang Pu (ed.); Lijun Zhang (ed.)
Kustantaja: Springer (2015)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Bernd Finkbeiner (ed.); Leonardo Mariani (ed.)
Kustantaja: Springer (2019)
Saatavuus: Noin 17-20 arkipäivää

EUR 64,10

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

Tekijä: Bernd Finkbeiner (ed.); Thomas Wies (ed.)
Kustantaja: Springer (2022)
Saatavuus: Noin 17-20 arkipäivää

EUR 88,20

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

Tekijä: Howard Barringer (ed.); Ylies Falcone (ed.); Bernd Finkbeiner (ed.); Klaus Havelund (ed.); Insup Lee (ed.); Gordon (e Pace
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Lev D. Beklemishev; Andreas Blass; Nachum Dershowitz; Bernd Finkbeiner; Wolfram Schulte
Kustantaja: Springer International Publishing AG (2015)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Karin Aguado; Claudia Finkbeiner; Bernd Tesch
Kustantaja: Peter Lang AG (2018)
Saatavuus: Noin 7-10 arkipäivää

EUR 95,30

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

Tekijä: Andreas Blass (ed.); Patrick Cégielski (ed.); Nachum Dershowitz (ed.); Manfred Droste (ed.); Bernd Finkbeiner (ed.)
Kustantaja: Springer (2020)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Bernd Finkbeiner (ed.); Laura Kovács (ed.)
Kustantaja: Springer (2024)
Saatavuus: Noin 17-20 arkipäivää

EUR 40,00

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

Tekijä: Bernd Finkbeiner (ed.); Laura Kovács (ed.)
Kustantaja: Springer (2024)
Saatavuus: Noin 17-20 arkipäivää

EUR 40,00

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

Tekijä: Bernd Finkbeiner (ed.); Laura Kovács (ed.)
Kustantaja: Springer (2024)
Saatavuus: Noin 17-20 arkipäivää

EUR 40,00

Hae lisää...

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

Bernd Finkbeiner (ed.), Geguang Pu (ed.), Lijun Zhang (ed.)

49,60 €

Springer
Sivumäärä: 520 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2015, 22.11.2015 (lisätietoa)
Kieli: Englanti

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 17-20 arkipäivässä

Myymäläsaatavuus