KIRJAUDU

ostoskori

avaa valikko

Einar Broch Johnsen (ed.) | Akateeminen Kirjakauppa

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

SOFTWARE ENGINEERING AND FORMAL METHODS : 16TH INTERNATIONAL CONFERENCE, SEFM 2018, HELD AS PART OF STAF 2018, TOULOUSE, FRANCE,

Tekijä: Einar Broch Johnsen (ed.); Ina Schaefer (ed.)
Kustantaja: Springer (2018)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS : 9TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FMOODS 2007, PAPHOS, CYPRUS

Tekijä: Marcello M. Bonsangue (ed.); Einar Broch Johnsen (ed.)
Kustantaja: Springer (2007)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

INTEGRATED FORMAL METHODS : 10TH INTERNATIONAL CONFERENCE, IFM 2013, TURKU, FINLAND, JUNE 10-14, 2013, PROCEEDINGS

Tekijä: Einar Broch Johnsen (ed.); Luigia Petre (ed.)
Kustantaja: Springer (2013)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

FORMAL METHODS FOR MULTICORE PROGRAMMING : 15TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION

Tekijä: Marco Bernardo (ed.); Einar Broch Johnsen (ed.)
Kustantaja: Springer (2015)
Saatavuus: Noin 17-20 arkipäivää

EUR 47,70

SERVICE-ORIENTED AND CLOUD COMPUTING : 5TH IFIP WG 2.14 EUROPEAN CONFERENCE, ESOCC 2016, VIENNA, AUSTRIA, SEPTEMBER 5-7, 2016, P

Tekijä: Marco Aiello (ed.); Einar Broch Johnsen (ed.); Schahram Dustdar (ed.); Ilche Georgievski (ed.)
Kustantaja: Springer (2016)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

TESTS AND PROOFS : 11TH INTERNATIONAL CONFERENCE, TAP 2017, HELD AS PART OF STAF 2017, MARBURG, GERMANY, JULY 19–20, 2017, PROCE

Tekijä: Sebastian Gabmeyer (ed.); Einar Broch Johnsen (ed.)
Kustantaja: Springer (2017)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

SERVICE-ORIENTED AND CLOUD COMPUTING : 6TH IFIP WG 2.14 EUROPEAN CONFERENCE, ESOCC 2017, OSLO, NORWAY, SEPTEMBER 27-29, 2017, PR

Tekijä: Flavio De Paoli (ed.); Stefan Schulte (ed.); Einar Broch Johnsen (ed.)
Kustantaja: Springer (2017)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING : 25TH INTERNATIONAL CONFERENCE, FASE 2022, HELD AS PART OF THE EUROPEAN JOINT CO

Tekijä: Einar Broch Johnsen (ed.); Manuel Wimmer (ed.)
Kustantaja: Springer (2022)
Saatavuus: Noin 17-20 arkipäivää

EUR 40,00

THE LOGIC OF SOFTWARE. A TASTING MENU OF FORMAL METHODS : ESSAYS DEDICATED TO REINER HÄHNLE ON THE OCCASION OF HIS 60TH BIRTHDAY

Tekijä: Wolfgang Ahrendt (ed.); Bernhard Beckert (ed.); Richard Bubel (ed.); Einar Broch Johnsen (ed.)
Kustantaja: Springer (2022)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

FORMAL METHODS FOR EXECUTABLE SOFTWARE MODELS : 14TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNIC

Tekijä: Marco Bernardo (ed.); Ferruccio Damiani (ed.); Reiner Haehnle (ed.); Einar Broch Johnsen (ed.); Ina Schaefer (ed.)
Kustantaja: Springer (2014)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

THEORY AND PRACTICE OF FORMAL METHODS : ESSAYS DEDICATED TO FRANK DE BOER ON THE OCCASION OF HIS 60TH BIRTHDAY

Tekijä: Erika Ábrahám (ed.); Marcello Bonsangue (ed.); Einar Broch Johnsen (ed.)
Kustantaja: Springer (2016)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

ACTIVE OBJECT LANGUAGES: CURRENT RESEARCH TRENDS

Tekijä: Frank de Boer (ed.); Ferruccio Damiani (ed.); Reiner Hähnle (ed.); Einar Broch Johnsen (ed.); Eduard Kamburjan (ed.)
Kustantaja: Springer (2024)
Saatavuus: Noin 17-20 arkipäivää

EUR 65,00

Hae lisää...

Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France,

Einar Broch Johnsen (ed.), Ina Schaefer (ed.)

49,60 €

Springer
Sivumäärä: 303 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2018, 30.05.2018 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus