SULJE VALIKKO

avaa valikko

Einar Broch Johnsen | Akateeminen Kirjakauppa

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



Integrated Formal Methods - 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Einar Broch Johnsen; Luigia Petre
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018,  Held as Part of STAF 2018, Toulouse, France
Einar Broch Johnsen; Ina Schaefer
Springer International Publishing AG (2018)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Co
Einar Broch Johnsen (ed.); Manuel Wimmer (ed.)
Springer (2022)
Pehmeäkantinen kirja
40,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Open Object-Based Distributed Systems - 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus
Marcello M. Bonsangue; Einar Broch Johnsen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communic
Marco Bernardo; Ferruccio Damiani; Reiner Haehnle; Einar Broch Johnsen; Ina Schaefer
Springer International Publishing AG (2014)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication
Marco Bernardo; Einar Broch Johnsen
Springer International Publishing AG (2015)
Pehmeäkantinen kirja
47,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen
Springer International Publishing AG (2016)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Service-Oriented and Cloud Computing - 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, P
Marco Aiello; Einar Broch Johnsen; Schahram Dustdar; Ilche Georgievski
Springer International Publishing AG (2016)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proce
Sebastian Gabmeyer; Einar Broch Johnsen
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Service-Oriented and Cloud Computing - 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Pr
Flavio De Paoli; Stefan Schulte; Einar Broch Johnsen
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Wolfgang Ahrendt (ed.); Bernhard Beckert (ed.); Richard Bubel (ed.); Einar Broch Johnsen (ed.)
Springer (2022)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Active Object Languages: Current Research Trends
Frank de Boer (ed.); Ferruccio Damiani (ed.); Reiner Hähnle (ed.); Einar Broch Johnsen (ed.); Eduard Kamburjan (ed.)
Springer (2024)
Pehmeäkantinen kirja
65,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Integrated Formal Methods - 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 443 sivua
Asu: Pehmeäkantinen kirja
Painos: 2013 ed.
Julkaisuvuosi: 2013, 24.05.2013 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013.
The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa. Tilaa tuote jouluksi viimeistään 13.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Integrated Formal Methods - 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Näytä kaikki tuotetiedot
ISBN:
9783642386121
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste